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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,623

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2013-12-01

Downloads
28 (#569,535)

6 months
10 (#397,791)

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