Abstract.
In this paper we provide a finite axiomatization (using two finitary rules only) for the propositional logic (called \(L\Pi\)) resulting from the combination of Lukasiewicz and Product Logics, together with the logic obtained by from \(L \Pi\) by the adding of a constant symbol and of a defining axiom for \(\frac{1}{2}\), called \(L \Pi\frac{1}{2}\). We show that \(L \Pi \frac{1}{2}\) contains all the most important propositional fuzzy logics: Lukasiewicz Logic, Product Logic, Gödel's Fuzzy Logic, Takeuti and Titani's Propositional Logic, Pavelka's Rational Logic, Pavelka's Rational Product Logic, the Lukasiewicz Logic with \(\Delta\), and the Product and Gödel's Logics with \(\Delta\) and involution. Standard completeness results are proved by means of investigating the algebras corresponding to \(L \Pi\) and \(L \Pi \frac{1}{2}\). For these algebras, we prove a theorem of subdirect representation and we show that linearly ordered algebras can be represented as algebras on the unit interval of either a linearly ordered field, or of the ordered ring of integers, Z.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received: 28 December 1998 / revised version: 11 May 1999
Rights and permissions
About this article
Cite this article
Esteva, F., Godo, L. & Montagna, F. The \(L\Pi\) and \(L\Pi\frac{1}{2}\) logics: two complete fuzzy systems joining Łukasiewicz and Product Logics. Arch Math Logic 40, 39–67 (2001). https://doi.org/10.1007/s001530050173
Issue Date:
DOI: https://doi.org/10.1007/s001530050173