Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic

DOI10.1016/j.fss.2016.09.010zbMath1392.03034OpenAlexW2522584865MaRDI QIDQ723257

Joan Gispert i Brasó

Publication date: 30 July 2018

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2016.09.010

Mathematics Subject Classification ID

MV-algebras (06D35) Many-valued logic (03B50) Varieties of lattices (06B20)

Related Items

Structural completeness in many-valued logics with rational constants

Cites Work

• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics
• Admissibility of logical inference rules
• Least \(V\)-quasivarieties of MV-algebras
• Algebraic foundations of many-valued reasoning
• MV-algebras: a variety for magnitudes with archimedean units
• Admissibility in Finitely Generated Quasivarieties
• Admissible Rules: From Characterizations to Applications
• Bases of Admissible Rules of Lukasiewicz Logic
• Algebraic Analysis of Many Valued Logics
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Admissible Rules of Lukasiewicz Logic
• Super-Łukasiewicz propositional logics
• Varieties of MV-algebras
• Protoalgebraic logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item