A Basis in Semi-Reduced Form for the Admissible Rules of the Intuitionistic Logic IPC
Makaleler > Tam Makale · 2000
Yazarlar: Vladimir V. Rybakov, Mehmet Terziler, Vitaliy Remazki
MLQ, Uluslararası, 2000, cilt 46, ss 207-218
DOI: 10.1002/(sici)1521-3870(200005)46:2<207::aid-malq207>3.0.co;2-e
Özet
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.