- 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
Compact representations of BL-algebras
Archive for Mathematical Logic 42 (8):737-761 (2003)
Abstract
In this paper we define sheaf spaces of BL-algebras (or BL-sheaf spaces), we study completely regular and compact BL-sheaf spaces and compact representations of BL-algebras and, finally, we prove that the category of non-trivial BL-algebras is equivalent with the category of compact local BL-sheaf spacesMy notes
Similar books and articles
The Dual Adjunction between MV-algebras and Tychonoff Spaces.Vincenzo Marra & Luca Spada - 2012 - Studia Logica 100 (1-2):253-278.
Reduced coproducts of compact hausdorff spaces.Paul Bankston - 1987 - Journal of Symbolic Logic 52 (2):404-424.
Sheaf toposes for realizability.Steven Awodey & Andrej Bauer - 2008 - Archive for Mathematical Logic 47 (5):465-478.
Semilattice-based dualities.A. B. Romanowska & J. D. H. Smith - 1996 - Studia Logica 56 (1-2):225 - 261.
Natural dualities for varieties of BL-algebras.Antonio Di Nola & Philippe Niederkorn - 2005 - Archive for Mathematical Logic 44 (8):995-1007.
Frontal Operators in Weak Heyting Algebras.Sergio A. Celani & Hern?N. J. San Mart?N. - 2012 - Studia Logica 100 (1-2):91-114.
Subalgebras of Heyting and De Morgan Heyting Algebras.Valeria Castaño & Marcela Muñoz Santis - 2011 - Studia Logica 98 (1-2):123-139.
Partition Complete Boolean Algebras and Almost Compact Cardinals.Peter Jipsen & Henry Rose - 1999 - Mathematical Logic Quarterly 45 (2):241-255.
Duality for lattice-ordered algebras and for normal algebraizable logics.Chrysafis Hartonas - 1997 - Studia Logica 58 (3):403-450.
Topological representations of post algebras of order ω+ and open theories based on ω+-valued post logic.Helena Rasiowa - 1985 - Studia Logica 44 (4):353 - 368.
Octonionic representations of Clifford algebras and triality.Jörg Schray & Corinne A. Manogue - 1996 - Foundations of Physics 26 (1):17-70.
Algebraically closed MV-algebras and their sheaf representation.Antonio Di Nola, Anna R. Ferraioli & Giacomo Lenzi - 2013 - Annals of Pure and Applied Logic 164 (3):349-355.
Coproducts in the categories of Kleene and three-valued łukasiewicz algebras.Roberto Cignoli - 1979 - Studia Logica 38 (3):237 - 245.
Analytics
Added to PP
2013-11-23
Downloads
30 (#519,519)
6 months
3 (#992,474)
2013-11-23
Downloads
30 (#519,519)
6 months
3 (#992,474)
Historical graph of downloads
Citations of this work
On the Category of EQ-algebras.Narges Akhlaghinia, Mona Aaly Kologani, Rajab Ali Borzooei & Xiao Long Xin - 2021 - Bulletin of the Section of Logic 50 (4):397-419.
On the Category of EQ-algebras.Narges Akhlaghinia, Mona Aaly Kologani, Rajab Ali Borzooei & Xiao Long Xin - 2021 - Bulletin of the Section of Logic 50 (4):397-419.
Some results in BL ‐algebras.Arsham Borumand Saeid & Somayeh Motamed - 2009 - Mathematical Logic Quarterly 55 (6):649-658.
A topology induced by uniformity on BL‐algebras.Masoud Haveshki, Esfandiar Eslami & Arsham Borumand Saeid - 2007 - Mathematical Logic Quarterly 53 (2):162-169.
Radical of filters in BL -algebras.Somayeh Motamed, Lida Torkzadeh, Arsham Borumand Saeid & Neda Mohtashamnia - 2011 - Mathematical Logic Quarterly 57 (2):166-179.
References found in this work
Algebraic foundations of many-valued reasoning.Roberto Cignoli - 1999 - Boston: Kluwer Academic Publishers. Edited by Itala M. L. D'Ottaviano & Daniele Mundici.
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-4c2ch uwo