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

DOI10.1007/978-3-540-75939-3_4zbMath1122.03018OpenAlexW1595540099MaRDI 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

MV-algebras (06D35) Many-valued logic (03B50) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)

Related Items (6)

Łukasiewicz Games ⋮ On principal congruences in distributive lattices with a commutative monoidal operation and an implication ⋮ 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 ⋮ ALGEBRAIC EXPANSIONS OF LOGICS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic