The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview

DOI10.1007/978-3-540-75939-3_5zbMath1122.03001DBLPconf/birthday/Cignoli06OpenAlexW1555263082WikidataQ57382711 ScholiaQ57382711MaRDI QIDQ5425998

Roberto L. O. Cignoli

Publication date: 15 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75939-3_5

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) History of mathematical logic and foundations (03-03) MV-algebras (06D35) Many-valued logic (03B50) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Related Items (3)

Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics ⋮ An implication based study on Łukasiewicz (Monteiro) 3-valued algebra and pre-rough algebra ⋮ Representation of Nelson algebras by rough sets determined by quasiorders

Cites Work

• Decidable and undecidable MV-algebras
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• W-algebras which are Boolean products of members of SR[1 and CW- algebras]
• Ulam's searching game with lies
• Farey stellar subdivisions, ultrasimplicial groups, and \(K_ 0\) of AF \(C^*\)-algebras
• Logic of infinite quantum systems
• Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups
• On the structure of varieties with equationally definable principal congruences. III
• Turing complexity of Behncke-Leptin \(C^*\)-algebras with a two-point dual
• The writing of the MV-algebras
• Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi
• On the structure of hoops
• Semisimple Algebras of Infinite Valued Logic and Bold Fuzzy Set Theory
• Algebraic Analysis of Many Valued Logics
• Fragments of Many-Valued Statement Calculi
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Concerning bricks
• AN ALGEBRAIC APPROACH TO ELEMENTARY THEORIES BASED ON n‐VALUED LUKASIEWICZ LOGICS
• Super-Łukasiewicz propositional logics
• Polyadic MV-Algebras
• Das Homomorphietheorem für MV‐Algebren Endlicher Ordnung
• Completeness of two theories on ordered abelian groups and embedding relations
• Arithmetische Theorie derMV-Algebren endlicher Ordnung
• Subsumption of the Theory of Boolean Algebras under the Theory of Rings
• Completeness Before Post: Bernays, Hilbert, and the Development of Propositional Logic
• Aximos and some properties of Post algebras
• Further results on infinite valued predicate logic
• A generalization of the Loomis-Sikorski theorem
• On axiom systems of propositional calculi, XIV
• Poet algebras and pseudo-Post algebras
• The Lattice Theory of Post Algebras
• A weak completeness theorem for infinite valued first-order logic
• The Theory of Representation for Boolean Algebras
• Der Aussagenkalkül und die Topologie
• A theorem about infinite-valued sentential logic
• Post Algebras. I. Postulates and General Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview