Download PDFOpen PDF in browser

A new Glivenko Theorem

4 pagesPublished: July 28, 2014

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.

Keyphrases: boolean algebra, glivenko theorem, visser logic

In: Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors). TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, vol 25, pages 191-194.

BibTeX entry
@inproceedings{TACL2013:new_Glivenko_Theorem,
  author    = {Majid Alizadeh and Mohammad Ardeshir and Wim Ruitenburg},
  title     = {A new Glivenko Theorem},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/tMb},
  doi       = {10.29007/7l98},
  pages     = {191-194},
  year      = {2014}}
Download PDFOpen PDF in browser