Publisher
Springer International Publishing
Reference36 articles.
1. Church, A. (1956). Introduction to mathematical logic I. Princeton: Princeton University Press.
2. Ferrari, M., & Miglioli, P. (1993). Counting the maximal intermediate constructive logics. Journal of Symbolic Logic, 58, 1365–1401.
3. Gabbay, D. M., & de Jongh, D. H. J. (1974). Sequences of decidable and finitely axiomatizable intermediate logics with the disjunction property. Journal of Symbolic Logic, 39, 67–79.
4. Gabbay, D. M., Shehtman, V. B., & Skvortsov, D. P. (2009) Quantification in nonclassical logic (Vol. 1). Studies in logic and the foundations of mathematics, 153. Amsterdam: Elsevier.
5. Ghilardi, S. (1989). Presheaf semantics and independence results for some non-classical first-order logics. Archive for Mathematical Logic, 29, 125–136.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献