- 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 given.Other Versions
No versions found
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. P. Díaz Varela & A. Torrens - 2011 - Studia Logica 98 (1-2):223-235.
Minimal Varieties of Involutive Residuated Lattices.Constantine Tsinakis & Annika M. Wille - 2006 - Studia Logica 83 (1-3):407-423.
Principal congruences on semi-de Morgan algebras.Cândida Palma & Raquel Santos - 2001 - Studia Logica 67 (1):75-88.
Closure operators and complete embeddings of residuated lattices.Hiroakira Ono - 2003 - Studia Logica 74 (3):427 - 440.
Compatible Operations on Residuated Lattices.J. Castiglioni & H. San Martín - 2011 - Studia Logica 98 (1-2):203-222.
Equational bases for joins of residuated-lattice varieties.Nikolaos Galatos - 2004 - Studia Logica 76 (2):227 - 240.
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.
Applications of Priestley duality in transferring optimal dualities.Brian A. Davey & Miroslav Haviar - 2004 - Studia Logica 78 (1-2):213 - 236.
Analytics
Added to PP
2014-03-05
Downloads
32 (#696,586)
6 months
9 (#455,691)
2014-03-05
Downloads
32 (#696,586)
6 months
9 (#455,691)
Historical graph of downloads
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.
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-f8568656d-d9z9s uwo