Author:
Hirokawa Sachio,Nagano Daisuke
Subject
General Computer Science,Theoretical Computer Science
Reference9 articles.
1. Contraction-free sequent calculi for intuitionistic logic;Dyckhoff;Journal of Symbolic Logic,1992
2. Intuitionistic Logic, Model Theory, and Forcing;Fitting,1969
3. D. Galmiche, D. Larchey-Wendling, Structural sharing and efficient proof-search in propositional intuitionistic logic, Asian Computing Science Conference, ASIAN'99, LNCS 1742, 101–112, 1999.
4. The Basic Type Theory;Hindley,1996
5. L. Pinto, R. Dyckhoff, Loop-free construction of counter-models for intuitionistic propositional logic. In Behara and al., editors, Symposia Gaussian, 225–232, 1995.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献