The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview
From MaRDI portal
Publication:5425998
DOI10.1007/978-3-540-75939-3_5zbMath1122.03001OpenAlexW1555263082WikidataQ57382711 ScholiaQ57382711MaRDI QIDQ5425998
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
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
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
- 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
- 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
