Varieties of MV-algebras
- 1 January 1999
- journal article
- research article
- Published by Taylor & Francis in Journal of Applied Non-Classical Logics
- Vol. 9 (1) , 141-157
- https://doi.org/10.1080/11663081.1999.10510961
Abstract
We characterize, for every subvariety V of the variety of all MV- algebras, the free objects in V. We use our results to compute coproducts in V and to provide simple single-axiom axiomatizations of all many-valued logics extending the Lukasiewicz one.Keywords
This publication has 8 references indexed in Scilit:
- Finitely Generated Free MV-algebras and Their Automorphism GroupsStudia Logica, 1998
- An Elementary Presentation of the Equivalence Between MV-algebras and l-groups With Strong UnitStudia Logica, 1998
- A geometric proof of the completeness of the Łukasiewicz calculusThe Journal of Symbolic Logic, 1995
- A constructive proof of McNaughton's theorem in infinite-valued logicThe Journal of Symbolic Logic, 1994
- Free products in the category of abelian l-groups with strong unitJournal of Algebra, 1988
- Interpretation of AF C∗-algebras in Łukasiewicz sentential calculusJournal of Functional Analysis, 1986
- Super-Łukasiewicz propositional logicsNagoya Mathematical Journal, 1981
- Algebraic analysis of many valued logicsTransactions of the American Mathematical Society, 1958