Author:
Kashima Ryo,Shimura Tatsuya
Reference11 articles.
1. Intuitionistic Logic Model Theory and Forcing. North-Holland Publ. Comp., Amsterdam 1969.
2. Semantical Investigations in Heyting's Intuitionistic Logic. D. Reidel Publ. Comp., Dordrecht 1981.
3. A logic stronger than intuitionism
4. A Philosophically Plausible Formal Interpretation of Intuitionistic Logic
5. Cut-elimination theorem for the intermediate logic CD. Research Report on Information Sciences C-100 (1991), Tokyo Institute of Technology.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献