Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem.
From MaRDI portal
Publication:2351509
DOI10.1007/s00012-015-0329-0zbMath1320.06010arXiv1305.3408MaRDI QIDQ2351509
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
MV-algebras; Łukasiewicz logic; \(\Gamma\)-functors; MV-chains; Chang completeness theorem; partial subalgebras
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