- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Varieties of MV-algebras
Journal of Applied Non-Classical Logics 9 (1):141-157 (1999)
Abstract
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.My notes
Similar books and articles
Decidability problem for finite Heyting algebras.Katarzyna Idziak & Pawel M. Idziak - 1988 - Journal of Symbolic Logic 53 (3):729-735.
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
Semisimplicity, EDPC and discriminator varieties of residuated lattices.Tomasz Kowalski - 2004 - Studia Logica 77 (2):255 - 265.
Birkhoff-like sheaf representation for varieties of lattice expansions.Hector Gramaglia & Diego Vaggione - 1996 - Studia Logica 56 (1-2):111 - 131.
Optimal natural dualities for varieties of Heyting algebras.B. A. Davey & H. A. Priestley - 1996 - Studia Logica 56 (1-2):67 - 96.
Finitely generated free MV-algebras and their automorphism groups.Antonio Di Nola, Revaz Grigolia & Giovanni Panti - 1998 - Studia Logica 61 (1):65-78.
Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x²) = (2x)².Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157 - 181.
Free łukasiewicz and hoop residuation algebras.Joel Berman & W. J. Blok - 2004 - Studia Logica 77 (2):153 - 180.
Varieties of monadic Heyting algebras. Part III.Guram Bezhanishvili - 2000 - Studia Logica 64 (2):215-256.
Amalgamation in varieties of pseudo-interior algebras.Barbara Klunder - 2003 - Studia Logica 73 (3):431 - 443.
Analytics
Added to PP
2014-01-21
Downloads
75 (#209,707)
6 months
3 (#760,965)
2014-01-21
Downloads
75 (#209,707)
6 months
3 (#760,965)
Historical graph of downloads
Citations of this work
Maximality in finite-valued Lukasiewicz logics defined by order filters.Marcelo E. Coniglio, Francesc Esteva, Joan Gispert & Lluis Godo - 2019 - Journal of Logic and Computation 29 (1):125-156.
Gödel spaces and perfect MV-algebras.Antonio Di Nola & Revaz Grigolia - 2015 - Journal of Applied Logic 13 (3):270-284.
Decidable and undecidable prime theories in infinite-valued logic.Daniele Mundici & Giovanni Panti - 2001 - Annals of Pure and Applied Logic 108 (1-3):269-278.
Free Łukasiewicz implication algebras.José Patricio Díaz Varela - 2008 - Archive for Mathematical Logic 47 (1):25-33.
References found in this work
A constructive proof of McNaughton's theorem in infinite-valued logic.Daniele Mundici - 1994 - Journal of Symbolic Logic 59 (2):596-602.
A geometric proof of the completeness of the łukasiewicz calculus.Giovanni Panti - 1995 - Journal of Symbolic Logic 60 (2):563-578.
An elementary presentation of the equivalence between MV-algebras and l-groups with strong unit.Roberto Cignoli & Daniele Mundici - 1998 - Studia Logica 61 (1):49-64.
Finitely generated free MV-algebras and their automorphism groups.Antonio Di Nola, Revaz Grigolia & Giovanni Panti - 1998 - Studia Logica 61 (1):65-78.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6d9b7f7c4c-v4fj8 uwo