Semi-Boolean algebras and their applications to intuitionistic logic with dual operations

Fundamenta Mathematicae 83:219-249 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On Some Semi-Intuitionistic Logics.Juan M. Cornejo & Ignacio D. Viglizzo - 2015 - Studia Logica 103 (2):303-344.
Semi-intuitionistic Logic.Juan Manuel Cornejo - 2011 - Studia Logica 98 (1-2):9-25.
Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic.Diego Castaño & Juan Manuel Cornejo - 2016 - Studia Logica 104 (6):1245-1265.
Hyper-Archimedean BL-algebras are MV-algebras.Esko Turunen - 2007 - Mathematical Logic Quarterly 53 (2):170-175.
The Semi Heyting–Brouwer Logic.Juan Manuel Cornejo - 2015 - Studia Logica 103 (4):853-875.
Semi-Cohen Boolean algebras.Bohuslav Balcar, Thomas Jech & Jindřich Zapletal - 1997 - Annals of Pure and Applied Logic 87 (3):187-208.
Modalities as interactions between the classical and the intuitionistic logics.Michał Walicki - 2006 - Logic and Logical Philosophy 15 (3):193-215.
Plain semi-post algebras as a poset-based generalization of post algebras and their representability.Nguyen Cat Ho & Helena Rasiowa - 1989 - Studia Logica 48 (4):509 - 530.
Semi-intuitionistic Logic with Strong Negation.Juan Manuel Cornejo & Ignacio Viglizzo - 2018 - Studia Logica 106 (2):281-293.
Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories.J. L. Bell - 1997 - Journal of Symbolic Logic 62 (4):1265-1279.
Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
N-Valued Logics and Łukasiewicz–Moisil Algebras.George Georgescu - 2006 - Axiomathes 16 (1-2):123-136.
Boolean Algebras in Visser Algebras.Majid Alizadeh, Mohammad Ardeshir & Wim Ruitenburg - 2016 - Notre Dame Journal of Formal Logic 57 (1):141-150.
Hyperboolean Algebras and Hyperboolean Modal Logic.Valentin Goranko & Dimiter Vakarelov - 1999 - Journal of Applied Non-Classical Logics 9 (2):345-368.
Zorn's lemma and complete Boolean algebras in intuitionistic type theories.J. L. Bell - 1997 - Journal of Symbolic Logic 62 (4):1265-1279.

Analytics

Added to PP
2020-10-05

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Nearly every normal modal logic is paranormal.Joao Marcos - 2005 - Logique Et Analyse 48 (189-192):279-300.
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.

View all 25 citations / Add more citations

References found in this work

No references found.

Add more references