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


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



    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


Added to PP

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