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

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.
Keywords Boolean algebra   Glivenko theorem   Visser logic
Categories (categorize this paper)
DOI 10.1215/00294527-3339473
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,160
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

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

Citations of this work BETA

Latarres, Lattices with an Arrow.Mohammad Ardeshir & Wim Ruitenburg - 2018 - Studia Logica 106 (4):757-788.

Add more citations

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 index
2015-11-25

Total views
19 ( #564,590 of 2,454,925 )

Recent downloads (6 months)
1 ( #449,233 of 2,454,925 )

How can I increase my downloads?

Downloads

My notes