Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic

DOI10.1007/978-3-540-75939-3_4zbMath1122.03018MaRDI QIDQ5425997

Xavier Caicedo

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_4

Mathematics Subject Classification ID

06D35: MV-algebras

03B50: Many-valued logic

06F20: Ordered abelian groups, Riesz groups, ordered linear spaces

Related Items

Łukasiewicz Games, Amalgamation through quantifier elimination for varieties of commutative residuated lattices, Implicit definability of truth constants in Łukasiewicz logic, Compatible operations on commutative weak residuated lattices, On principal congruences in distributive lattices with a commutative monoidal operation and an implication

Cites Work

• Complete theories
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Groupes et anneaux reticules
• Implicit connectives of algebraizable logics
• Algebraic foundations of many-valued reasoning
• Interpolation in fuzzy logic
• The logic of equilibrium and abelian lattice ordered groups
• An algebraic approach to propositional fuzzy logic
• Fuzzy logics as the logics of chains
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Algebraizable logics
• Super-Łukasiewicz propositional logics
• An algebraic approach to intuitionistic connectives
• Model Theory
• Sequent and hypersequent calculi for abelian and łukasiewicz logics
• Free Vector Lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item