Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi

DOI10.1007/BF00373490zbMath0509.03012WikidataQ57382709 ScholiaQ57382709MaRDI QIDQ1838472

Roberto L. O. Cignoli

Publication date: 1982

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

S-algebrasn-valued Lukasiewicz algebrasn-valued Lukasiewicz propositional calculi

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items

Maximal subalgebras of \(\mathrm{MV}_n\)-algebras. A proof of a conjecture of A. Monteiro ⋮ A common generalization for MV-algebras and Łukasiewicz-Moisil algebras ⋮ Algebraic semantics for the minimum many-valued modal logic over Ł\(_n\) ⋮ Monteiro's algebraic notion of maximal consistent theory for Tarskian logics ⋮ An alternative definition of quantifiers on four-valued Łukasiewicz algebras ⋮ An algebraic semantics for possibilistic finite-valued Łukasiewicz logic ⋮ New perspectives on semi-primal varieties ⋮ On \(n \times m\)-valued Łukasiewicz-Moisil algebras ⋮ A determination principle for algebras of \(n\)-valued Łukasiewicz logic ⋮ Prime deductive systems and injective objects in the algebras of Łukasiewicz infinite-valued calculi ⋮ The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview ⋮ The Priestley duality for Wajsberg algebras ⋮ Free algebras in varieties of BL-algebras generated by a BL_n-chain ⋮ Connections between \(\text{MV}_n\) algebras and \(n\)-valued Lukasiewicz-Moisil algebras. II ⋮ Wajsberg algebras and Post algebras ⋮ Łukasiewicz-Moisil relation algebras

Cites Work

• Unnamed Item
• Unnamed Item
• P-algebras, an abstraction from Post algebras
• An algebraic approach to non-classical logics
• Lukasiewicz and Symmetrical Heyting Algebras
• A theorem about infinite-valued sentential logic