×

zbMATH — the first resource for mathematics

A basis in semi-reduced form for the admissible rules of the intuitionistic logic IPC. (English) Zbl 0955.03037
This paper is concerned with the problem of finding a basis for all rules admissible in the intuitionistic propositional logic IPL. Among other things the authors prove that the set of rules in semi-reduced form with premises satisfying certain conditions forms a basis for all rules admissible in IPL. The authors also find a basis for rules admissible in the logic of the weak excluded middle law KC.

MSC:
03B55 Intermediate logics
03B20 Subsystems of classical logic (including intuitionistic logic)
03F07 Structure of proofs
PDF BibTeX XML Cite
Full Text: DOI