Boolean Algebras in Visser Algebras

Notre Dame Journal of Formal Logic 57 (1):141-150 (2016)
  Copy   BIBTEX

Abstract

We generalize the double negation construction of Boolean algebras in Heyting algebras to a double negation construction of the same in Visser algebras. This result allows us to generalize Glivenko’s theorem from intuitionistic propositional logic and Heyting algebras to Visser’s basic propositional logic and Visser algebras.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
Hyper-Archimedean BL-algebras are MV-algebras.Esko Turunen - 2007 - Mathematical Logic Quarterly 53 (2):170-175.
Boolean products of R0-algebras.Xiangnan Zhou & Qingguo Li - 2010 - Mathematical Logic Quarterly 56 (3):289-298.
Semi-Cohen Boolean algebras.Bohuslav Balcar, Thomas Jech & Jindřich Zapletal - 1997 - Annals of Pure and Applied Logic 87 (3):187-208.
σ-short Boolean algebras.Makoto Takahashi & Yasuo Yoshinobu - 2003 - Mathematical Logic Quarterly 49 (6):543-549.
On Löb algebras.Majid Alizadeh & Mohammad Ardeshir - 2006 - Mathematical Logic Quarterly 52 (1):95-105.
Boolean algebras in ast.Klaus Schumacher - 1992 - Mathematical Logic Quarterly 38 (1):373-382.
Dense subtrees in complete Boolean algebras.Bernhard König - 2006 - Mathematical Logic Quarterly 52 (3):283-287.
Representation and extension of states on MV-algebras.TomአKroupa - 2006 - Archive for Mathematical Logic 45 (4):381-392.
The number of openly generated Boolean algebras.Stefan Geschke & Saharon Shelah - 2008 - Journal of Symbolic Logic 73 (1):151-164.

Analytics

Added to PP
2015-11-25

Downloads
38 (#431,997)

6 months
15 (#185,490)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Basic Propositional Calculus I.Mohammad Ardeshir & Wim Ruitenburg - 1998 - Mathematical Logic Quarterly 44 (3):317-343.
Basic Propositional Calculus I.Mohamed Ardeshir & Wim Ruitenberg - 1998 - Mathematical Logic Quarterly 44 (3):317-343.
On Löb algebras, II.Majid Alizadeh & Mohammad Ardeshir - 2012 - Logic Journal of the IGPL 20 (1):27-44.

Add more references