The completeness of intuitionistic propositional calculus for its intended interpretation.
-
Published:1981-01-01
Issue:1
Volume:22
Page:
-
ISSN:0029-4527
-
Container-title:Notre Dame Journal of Formal Logic
-
language:
-
Short-container-title:Notre Dame J. Formal Logic
Publisher
Duke University Press
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Intuitionistic Logic;Handbook of Philosophical Logic;2002
2. Which Modal Logic Is the Right One?;Notre Dame Journal of Formal Logic;1999-01-01
3. Realizing Brouwer's sequences;Annals of Pure and Applied Logic;1996-09
4. Intuitionistic Logic;Handbook of Philosophical Logic;1986