Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem.

DOI10.1007/s00012-015-0329-0zbMath1320.06010arXiv1305.3408MaRDI QIDQ2351509

Jan Paseka, Michal Botur

Publication date: 23 June 2015

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1305.3408

zbMATH Keywords

MV-algebras; Łukasiewicz logic; \(\Gamma\)-functors; MV-chains; Chang completeness theorem; partial subalgebras

Mathematics Subject Classification ID

06D35: MV-algebras

03B50: Many-valued logic

Related Items

Finite coverability property, A characterization of pseudofinite MV-algebras, Operators on MV-algebras and their representations.

Cites Work

• Unnamed Item
• Unnamed Item
• A non-associative generalization of Hájek's BL-algebras
• Advanced Łukasiewicz calculus and MV-algebras
• Representation of MV-algebras by regular ultrapowers of \([0,1\)]
• Equivalents for a quasivariety to be generated by a single structure
• Representation and reticulation by quotients of MV-algebras
• Model theory
• Algebraic foundations of many-valued reasoning
• On the structure of hoops
• MV-algebras: a variety for magnitudes with archimedean units
• Representations of zero-cancellative pomonoids
• Algebraic Analysis of Many Valued Logics
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Embeddings of totally ordered MV-algebras of bounded cardinality
• On the finite embeddability property for residuated ordered groupoids