Basic propositional logic and the weak excluded middle

&
Logic Journal of the IGPL 27 (3):371-383 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzy052

Links

PhilArchive



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

External links

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 Löb algebras.Majid Alizadeh & Mohammad Ardeshir - 2006 - Mathematical Logic Quarterly 52 (1):95-105.
Constructive Logic and the Medvedev Lattice.Sebastiaan A. Terwijn - 2006 - Notre Dame Journal of Formal Logic 47 (1):73-82.
A cut-free gentzen-type system for the logic of the weak law of excluded middle.Branislav R. Boričić - 1986 - Studia Logica 45 (1):39-53.
Basic Propositional Calculus I.Mohammad Ardeshir & Wim Ruitenburg - 1998 - Mathematical Logic Quarterly 44 (3):317-343.
Generalizations of the Weak Law of the Excluded Middle.Andrea Sorbi & Sebastiaan A. Terwijn - 2015 - Notre Dame Journal of Formal Logic 56 (2):321-331.
Excluded Middle versus Choice in a topos.Bernhard Banaschewski - 2005 - Mathematical Logic Quarterly 51 (3):282.
The axiom of choice and the law of excluded middle in weak set theories.John L. Bell - 2008 - Mathematical Logic Quarterly 54 (2):194-201.
Basis Logic for Application in Physics and Its Intuitionistic Alternative.Paul Weingartner - 2010 - Foundations of Physics 40 (9-10):1578-1596.
Gentzen-style axiomatizations for some conservative extensions of basic propositional logic.Mojtaba Aghaei & Mohammad Ardeshir - 2001 - Studia Logica 68 (2):263-285.
A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic.Mojtaba Aghaei & Mohammad Ardeshir - 2000 - Mathematical Logic Quarterly 46 (2):195-206.
Basic Propositional Calculus I.Mohamed Ardeshir & Wim Ruitenberg - 1998 - Mathematical Logic Quarterly 44 (3):317-343.
Amalgamation property for the class of basic algebras and some of its natural subclasses.Majid Alizadeh & Mohammad Ardeshir - 2006 - Archive for Mathematical Logic 45 (8):913-930.
On the linear Lindenbaum algebra of Basic Propositional Logic.Majid Alizadeh & Mohammad Ardeshir - 2004 - Mathematical Logic Quarterly 50 (1):65.
Counterfactuals and Propositional Contingentism.Peter Fritz & Jeremy Goodman - 2017 - Review of Symbolic Logic 10 (3):509-529.
Review: V. A. Jankov, Constructing a Sequence of Strongly Independent Superintuitionistic Propositional Calculi; V. A. Jankov, The Calculus of the weak "law of excluded Middle.". [REVIEW]Alfred Horn - 1972 - Journal of Symbolic Logic 37 (1):186-186.

Analytics

Added to PP
2018-10-27

Downloads
24 (#661,868)

6 months
1 (#1,478,912)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Modal Logic.Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.
Basic Propositional Calculus I.Mohammad Ardeshir & Wim Ruitenburg - 1998 - Mathematical Logic Quarterly 44 (3):317-343.
Bounded distributive lattices with strict implication.Sergio Celani & Ramon Jansana - 2005 - Mathematical Logic Quarterly 51 (3):219-246.

View all 15 references / Add more references