MVLSC HomeIssue Contents

Infinite-valued Lukasiewicz Logic Based on Principal Lattice Filters
Felix Bou

In this paper we axiomatize the formulas that, in the infinite-valued (standard) Lukasiewicz algebra, always take a value above a certain fixed number. This generalizes the approach considered in the infinite-valued Łukasiewicz logic, where the fixed number is the maximum.

Keywords: MV algebras, Lukasiewicz logic, logics preserving truth degrees.

Full Text (IP)