- 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
Universal Classes of MV-chains with Applications to Many-valued Logics
Mathematical Logic Quarterly 48 (5):581-601 (2002)
Abstract
In this paper we characterize, classify and axiomatize all universal classes of MV-chains. Moreover, we accomplish analogous characterization, classification and axiomatization for congruence distributive quasivarieties of MV-algebras. Finally, we apply those results to study some finitary extensions of the Łukasiewicz infinite valued propositional calculus.My notes
Similar books and articles
Universal Classes of MV-Chains with Applications to Many-valued Logics.Joan Gispert - 2002 - Mathematical Logic Quarterly 48 (4):582-601.
The Variety Generated by all the Ordinal Sums of Perfect MV-Chains.Matteo Bianchi - 2013 - Studia Logica 101 (1):11-29.
A Duality For -valued Mv-algebras.Marina Lattanzi & Alejandro Petrovich - 2009 - Reports on Mathematical Logic:65-84.
Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras.M. Campercholi, D. Castaño & J. Díaz Varela - 2011 - Studia Logica 98 (1-2):267-283.
Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras.M. Campercholi, D. Castaño & J. P. Díaz Varela - 2011 - Studia Logica 98 (1-2):267-283.
Varieties of MV-algebras.Giovanni Panti - 1999 - Journal of Applied Non-Classical Logics 9 (1):141-157.
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.
On Vaught’s Conjecture and finitely valued MV algebras.Antonio di Nola & Giacomo Lenzi - 2012 - Mathematical Logic Quarterly 58 (3):139-152.
Representation theory of MV-algebras.Eduardo J. Dubuc & Yuri A. Poveda - 2010 - Annals of Pure and Applied Logic 161 (8):1024-1046.
Analytics
Added to PP
2017-02-17
Downloads
8 (#1,345,183)
6 months
8 (#415,230)
2017-02-17
Downloads
8 (#1,345,183)
6 months
8 (#415,230)
Historical graph of downloads
Citations of this work
On the infinite-valued Łukasiewicz logic that preserves degrees of truth.Josep Maria Font, Àngel J. Gil, Antoni Torrens & Ventura Verdú - 2006 - Archive for Mathematical Logic 45 (7):839-868.
Varieties of BL-Algebras III: Splitting Algebras.Paolo Aglianó - 2019 - Studia Logica 107 (6):1235-1259.
Structural Completeness in Many-Valued Logics with Rational Constants.Joan Gispert, Zuzana Haniková, Tommaso Moraschini & Michał Stronkowski - 2022 - Notre Dame Journal of Formal Logic 63 (3):261-299.
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-68866f4b87-grz79 uwo