Publisher
Springer Science and Business Media LLC
Subject
History and Philosophy of Science,Logic
Reference5 articles.
1. D. Gabbay,Applications of trees to intermediate logics,Journal of Symbolic Logic, vol. 37 (1972), pp. 135–138.
2. C. Rauszer,Semi-Boolean algebras and their application to intuitionistic logic with dual operations,Fundamenta Mathematicae LXXXIII (1974), pp. 219–249.
3. C. Rauszer,On the strong semantical completeness of an extension of the intuitionistic predicate calculus,Bulletin de l'Académie Polonaise des Sciences,Série math. astr. et phys. (to appear).
4. C. Rauszer,An algebraic approach to an extension of the intuitionistic predicate calculus,Fundamenta Mathematicae, (to appear).
5. R. Thomason,On the strong semantical completeness of the intuitionistic predicate calculus,Journal of Symbolic Logic, vol. 33 (1968), pp. 1–7.
Cited by
46 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献