Publisher
Springer Science and Business Media LLC
Reference7 articles.
1. [C] Curry, H.B.: Foundations of mathematical logic. New York: McGraw-Hill 1963
2. [D] Dosen, K.: A note on Gentzen's decision procedure for intuitionistic propositional logic. Z. Math. Logik Grundlagen Math.33, 453–456 (1987)
3. [F] Franzen, T.: Algorithmic aspects of intuitionistic propositional logic, SICS Research Report R87010B
4. [G] Gentzen, G.: Untersuchungen über das logische Schliessen. Math. Z.39, 176–210, 405–431 (1935)
5. [Go] Gordeev, L.: On cut elimination in the presence of peirce rule. Arch. Math. Logik Grundlagenforschung26, 147–164 (1987)
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献