A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC

, &
Mathematical Logic Quarterly 46 (2):207-218 (2000)
  Copy   BIBTEX

Abstract

We study the problem of finding a basis for all rules admissible in the intuitionistic propositional logic IPC. The main result is Theorem 3.1 which gives a basis consisting of all rules in semi-reduced form satisfying certain specific additional requirements. Using developed technique we also find a basis for rules admissible in the logic of excluded middle law KC

Categories

Keywords

Reprint years

DOI

10.1002/(sici)1521-3870(200005)46:2

Links

PhilArchive



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

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

Construction of an Explicit Basis for Rules Admissible in Modal System S4.Vladimir V. Rybakov - 2001 - Mathematical Logic Quarterly 47 (4):441-446.
Intermediate Logics and Visser's Rules.Rosalie Iemhoff - 2005 - Notre Dame Journal of Formal Logic 46 (1):65-81.
Metalogic of Intuitionistic Propositional Calculus.Alex Citkin - 2010 - Notre Dame Journal of Formal Logic 51 (4):485-502.
Intermediate logics preserving admissible inference rules of heyting calculus.Vladimir V. Rybakov - 1993 - Mathematical Logic Quarterly 39 (1):403-415.
On the rules of intermediate logics.Rosalie Iemhoff - 2006 - Archive for Mathematical Logic 45 (5):581-599.
On the admissible rules of intuitionistic propositional logic.Rosalie Iemhoff - 2001 - Journal of Symbolic Logic 66 (1):281-294.
Canonical Rules.Emil Jeřábek - 2009 - Journal of Symbolic Logic 74 (4):1171 - 1205.
On self-admissible quasi-characterizing inference rules.V. V. Rybakov, M. Terziler & C. Gencer - 2000 - Studia Logica 65 (3):417-428.
A note on admissible rules and the disjunction property in intermediate logics.Alexander Citkin - 2012 - Archive for Mathematical Logic 51 (1):1-14.
Rules of inference with parameters for intuitionistic logic.Vladimir V. Rybakov - 1992 - Journal of Symbolic Logic 57 (3):912-923.
On Finite Model Property for Admissible Rules.Vladimir V. Rybakov, Vladimir R. Kiyatkin & Tahsin Oner - 1999 - Mathematical Logic Quarterly 45 (4):505-520.
Rules and Arithmetics.Albert Visser - 1999 - Notre Dame Journal of Formal Logic 40 (1):116-140.
Admissibility of logical inference rules.Vladimir Vladimir Rybakov - 1997 - New York: Elsevier.
Logical Consecutions in Discrete Linear Temporal Logic.V. V. Rybakov - 2005 - Journal of Symbolic Logic 70 (4):1137 - 1149.
A mind of a non-countable set of ideas.Alexander Citkin - 2008 - Logic and Logical Philosophy 17 (1-2):23-39.

Analytics

Added to PP
2013-12-01

Downloads
26 (#609,328)

6 months
11 (#235,184)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logical Consecutions in Discrete Linear Temporal Logic.V. V. Rybakov - 2005 - Journal of Symbolic Logic 70 (4):1137 - 1149.
Logics with the universal modality and admissible consecutions.Rybakov Vladimir - 2007 - Journal of Applied Non-Classical Logics 17 (3):383-396.

Add more citations

References found in this work

No references found.

Add more references