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.3408OpenAlexW1988481246MaRDI 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\)-functorsMV-chainsChang completeness theorempartial subalgebras

Mathematics Subject Classification ID

MV-algebras (06D35) Many-valued logic (03B50)

Related Items

A characterization of pseudofinite MV-algebras ⋮ Finite coverability property ⋮ 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