- 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
Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices
Studia Logica 98 (1-2):223-235 (2011)
Abstract
In this paper we prove that the free pseudocomplemented residuated lattices are decomposable if and only if they are Stone, i.e., if and only if they satisfy the identity ¬ x ∨ ¬¬ x = 1. Some applications are givenAuthor's Profile
My notes
Similar books and articles
Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices.Diego Castaño, J. Patricio Díaz Varela & Antoni Torrens Torrell - 2011 - Studia Logica 98 (1-2):223 - 235.
Free-decomposability in Varieties of Pseudocomplemented Residuated Lattices.D. Castaño, J. Díaz Varela & A. Torrens - 2011 - Studia Logica 98 (1-2):223-235.
A Categorical Equivalence for Stonean Residuated Lattices.Manuela Busaniche, Roberto Cignoli & Miguel Andrés Marcos - 2019 - Studia Logica 107 (2):399-421.
Varieties of Commutative Integral Bounded Residuated Lattices Admitting a Boolean Retraction Term.Roberto Cignoli & Antoni Torrens - 2012 - Studia Logica 100 (6):1107-1136.
Minimal Varieties of Representable Commutative Residuated Lattices.Rostislav Horčík - 2012 - Studia Logica 100 (6):1063-1078.
Residuated Structures and Orthomodular Lattices.D. Fazio, A. Ledda & F. Paoli - 2021 - Studia Logica 109 (6):1201-1239.
On two fragments with negation and without implication of the logic of residuated lattices.Félix Bou, Àngel García-Cerdaña & Ventura Verdú - 2006 - Archive for Mathematical Logic 45 (5):615-647.
Compatible Operations on Residuated Lattices.J. L. Castiglioni & H. J. San Martín - 2011 - Studia Logica 98 (1-2):203-222.
Principal congruences on semi-de Morgan algebras.Cândida Palma & Raquel Santos - 2001 - Studia Logica 67 (1):75-88.
Free‐decomposability in varieties of semi‐Heyting algebras.Manuel Abad, Juan Manuel Cornejo & Patricio Díaz Varela - 2012 - Mathematical Logic Quarterly 58 (3):168-176.
Analytics
Added to PP
2011-07-20
Downloads
17 (#864,680)
6 months
4 (#1,005,419)
2011-07-20
Downloads
17 (#864,680)
6 months
4 (#1,005,419)
Historical graph of downloads
Author's Profile
Citations of this work
The existence of states based on Glivenko semihoops.Pengfei He, Juntao Wang & Jiang Yang - 2022 - Archive for Mathematical Logic 61 (7):1145-1170.
Free‐decomposability in varieties of semi‐Heyting algebras.Manuel Abad, Juan Manuel Cornejo & Patricio Díaz Varela - 2012 - Mathematical Logic Quarterly 58 (3):168-176.
References found in this work
Distributive Lattices.Raymond Balbes & Philip Dwinger - 1977 - Journal of Symbolic Logic 42 (4):587-588.
Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x2) = (2x)2.Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157-181.
Glivenko like theorems in natural expansions of BCK‐logic.Roberto Cignoli & Antoni Torrens Torrell - 2004 - Mathematical Logic Quarterly 50 (2):111-125.
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.
Bounded BCK‐algebras and their generated variety.Joan Gispert & Antoni Torrens - 2007 - Mathematical Logic Quarterly 53 (2):206-213.
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-6686886f5-5pqs9 uwo