Translator Disclaimer
2016 Boolean Algebras in Visser Algebras
Majid Alizadeh, Mohammad Ardeshir, Wim Ruitenburg
Notre Dame J. Formal Logic 57(1): 141-150 (2016). DOI: 10.1215/00294527-3339473

Abstract

We generalize the double negation construction of Boolean algebras in Heyting algebras to a double negation construction of the same in Visser algebras (also known as basic 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.

Citation

Download Citation

Majid Alizadeh. Mohammad Ardeshir. Wim Ruitenburg. "Boolean Algebras in Visser Algebras." Notre Dame J. Formal Logic 57 (1) 141 - 150, 2016. https://doi.org/10.1215/00294527-3339473

Information

Received: 5 February 2013; Accepted: 9 October 2013; Published: 2016
First available in Project Euclid: 24 November 2015

zbMATH: 1347.03105
MathSciNet: MR3447730
Digital Object Identifier: 10.1215/00294527-3339473

Subjects:
Primary: 03G05, 03G25, 06D20
Secondary: 03B20

Rights: Copyright © 2016 University of Notre Dame

JOURNAL ARTICLE
10 PAGES


SHARE
Vol.57 • No. 1 • 2016
Back to Top