Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic
From MaRDI portal
Publication:5425997
DOI10.1007/978-3-540-75939-3_4zbMath1122.03018OpenAlexW1595540099MaRDI QIDQ5425997
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
MV-algebras (06D35) Many-valued logic (03B50) Ordered abelian groups, Riesz groups, ordered linear spaces (06F20)
Related Items (max. 100)
Ł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