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.

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