On the infinite-valued Łukasiewicz logic that preserves degrees of truth (Q850803)

Infinite-valued Łukasiewicz logic can be defined from a class of matrices made up by Wajsberg algebras (also called MV-algebras) where the set of designated values is an arbitrary implicative filter. This logic is protoalgebraic, algebraizable but not self-extensional. It does not satisfy the Deduction-Detachment Theorem, nor the Graded Deduction Theorem, but it satisfies the Local Deduction-Detachment Theorem. In this paper a new logic is studied, also determined by Wajsberg algebras, but focusing on the order relation instead of the implication. This new logic is an example of a ``logic that preserves degrees of truth''. The presented logic can be defined from the class of matrices formed by Wajsberg algebras where the set of designated values is an arbitrary lattice filter. It is not protoalgebraic, not algebraizable and self-extensional. This logic does not satisfy the Deduction-Detachment Theorem, nor the Local Deduction-Detachment Theorem, but it does satisfy the Graded Deduction Theorem. Since the new logic is self-extensional and has conjunction, there is a Gentzen system that is both fully adequate for it and algebraizable, having the same algebraic counterpart as the logic. A sequent calculus of the Gentzen system corresponding to this logic is given. Its properties and models are considered, and several relationships between the Gentzen system and the infinite-valued Łukasiewicz logic are studied.