A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC
Articles > Article ยท 2000
Authors: Vladimir V. Rybakov, Mehmet Terziler, Vitaliy Remazki
MLQ, International, WoS, 2000, vol 46, pp 207-218
DOI: 10.1002/(sici)1521-3870(200005)46:2<207::aid-malq207>3.0.co;2-e
Summary
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.