- 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
Discrete Dualities for Double Stone Algebras
Studia Logica 99 (1-3):127-142 (2011)
Abstract
We present two discrete dualities for double Stone algebras. Each of these dualities involves a different class of frames and a different definition of a complex algebra. We discuss relationships between these classes of frames and show that one of them is a weakening of the other. We propose a logic based on double Stone algebrasLinks
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Natural dualities for varieties ofn-valued łukasiewicz algebras.H. A. Priestley - 1995 - Studia Logica 54 (3):333 - 370.
Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-based Algebras.B. A. Davey & H. A. Priestley - 2012 - Studia Logica 100 (1-2):137-161.
Semilattice-based dualities.A. B. Romanowska & J. D. H. Smith - 1996 - Studia Logica 56 (1-2):225 - 261.
The structure of algebraically and existentially closed stone and double stone algebras.David M. Clark - 1989 - Journal of Symbolic Logic 54 (2):363-375.
Optimal natural dualities for varieties of Heyting algebras.B. A. Davey & H. A. Priestley - 1996 - Studia Logica 56 (1-2):67 - 96.
Duality for lattice-ordered algebras and for normal algebraizable logics.Chrysafis Hartonas - 1997 - Studia Logica 58 (3):403-450.
On the variety of M -generalized łukasiewicz algebras of order N.Júlia Vaz de Carvalho - 2010 - Studia Logica 94 (2):291-305.
On ockham algebras: Congruence lattices and subdirectly irreducible algebras.P. Garcia & F. Esteva - 1995 - Studia Logica 55 (2):319 - 346.
Boolean Algebras, Stone Spaces, and the Iterated Turing Jump.Carl G. Jockusch & Robert I. Soare - 1994 - Journal of Symbolic Logic 59 (4):1121 - 1138.
Frontal Operators in Weak Heyting Algebras.Sergio A. Celani & Hernán J. San Martín - 2012 - Studia Logica 100 (1-2):91-114.
Analytics
Added to PP
2011-08-27
Downloads
41 (#380,229)
6 months
10 (#255,509)
2011-08-27
Downloads
41 (#380,229)
6 months
10 (#255,509)
Historical graph of downloads
Citations of this work
Duality Results for (Co)Residuated Lattices.Chrysafis Hartonas - 2019 - Logica Universalis 13 (1):77-99.
Granular knowledge and rational approximation in general rough sets – I.A. Mani - forthcoming - Journal of Applied Non-Classical Logics:1-36.
References found in this work
Distributive Lattices.Raymond Balbes & Philip Dwinger - 1977 - Journal of Symbolic Logic 42 (4):587-588.
Duality via Truth: Semantic frameworks for lattice-based logics.Ewa Orlowska & Ingrid Rewitzky - 2005 - Logic Journal of the IGPL 13 (4):467-490.
Semi-Boolean algebras and their applications to intuitionistic logic with dual operations.Cecylia Rauszer - 1974 - Fundamenta Mathematicae 83:219-249.
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-7c76586df8-hc2g5 uwo