Algebraic Kripke Sheaf Semantics for Non-Classical Predicate Logics

1. Casari, E., and P. Minari, ‘Nagation-free intermediate predicate logics’, Bollettino dell'Unione Matematica Italiana (6)2-B (1983), 499–536.

   Google Scholar 

2. Ferrari, M., and P. Miglioli, ‘Counting the maximal intermediate constructive logics’, Journal of Symbolic Logic 56 (1993), 1365–1401.

   Google Scholar 

3. Ghilardi, S., ‘Presheaf semantics and independence results for some non-classical first-order logics’, Archive for Mathematical Logic (1989), 125–136.

4. Ghilardi, S., ‘Incompleteness results in Kripke semantics’, Journal of Symbolic Logic (1991), 517–538.

5. Hosoi, T., ‘On intermediate logics I, II’, Journal of Faculty of Science, University of Tokyo, section I 14 (1967), 293–312, and 16 (1969), 1–12.

   Google Scholar 

6. Jankov, V. A., ‘Constructing a sequence of strongly independent superintuitionistic propositional calculi’, Soviet Mathematics Doklady 9 (1968), 806–807.

   Google Scholar 

7. Komori, Y., ‘Some results on the super-intuitionistic predicate logics’, Reports on Mathematical Logic 15 (1983), 13–31.

   Google Scholar 

8. Mac Lane, S., Categories for the Working Mathematician, Springer-Verlag, New York, Heidelberg, Berlin, 1971.

   Google Scholar 

9. Nakamura, T., ‘Disjunction property for some intermediate predicate logics’, Reports on Mathematical Logic 15 (1983), 33–39.

   Google Scholar 

10. Nagai, S., ‘On a semantics for non-classical logics’, Proceedings of the Japan Academy 49 (1973), 337–340.

    Article  Google Scholar 

11. Ono, H., ‘Kripke models and intermediate logics’, Publications of the Research Institute for Mathematical sciences, Kyoto University 6 (1970), 461–476.

    Google Scholar 

12. Ono, H., and S. Nagai, ‘Application of general Kripke models to intermediate logics’, Journal of Tsuda College 6 (1974), 9–21.

    Google Scholar 

13. Ono, H., ‘Some problems in intermediate predicate logics’, Reports on Mathematical Logic 21 (1987), 55–67.

    Google Scholar 

14. Rasiowa, H., and R. Sikorski, Mathematics of Metamathematics, PWN, Warszawa, 1963.

    Google Scholar 

15. Shehtman, V. B., and D. P. Skvortsov, ‘Semantics of non-classical first-order predicate logics’, in Mathematical Logic, edited by P. P. Petkov, Plenum Press, New York, 1990, 105–116.

    Google Scholar 

16. Shimura, T., and N.-Y. Suzuki, ‘Some super-intuitionistic logics as the logical fragments of equational theories’, Bulletin of the Section of Logic 22 (1993), 106–112.

    Google Scholar 

17. Skvortsov, D. P., and V. B. Shehtman, ‘Maximal Kripke-type semantics for modal and superintuitionistic predicate logics’, Annals of Pure and Applied Logic 63 (1993), 69–101.

    Article  Google Scholar 

18. Suzuki, N.-Y., ‘Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics’, Studia Logica 52 (1993), 73–94.

    Article  Google Scholar 

19. Suzuki, N.-Y., ‘Constructing a continuum of predicate extensions of each intermediate propositional logic’, Studia Logica 54 (1995), 173–198.

    Article  Google Scholar 

20. Suzuki, N.-Y., ‘A remark on the delta operation and the Kripke sheaf semantics in super-intuitionistic predicate logics’, Bulletin of the Section of Logic Vol. 25,No. 1 (1996), 21–28.

    Google Scholar 

21. Troelstra, A. S., ‘On intermediate propositional logics’, Indagationes Mathematicæ 27 (1965), 141–152.

    Google Scholar 

22. Umezawa, T., ‘On logics intermediate between intuitionistic and classical predicate logic’, Journal of Symbolic Logic 24 (1956), 141–153.

    Google Scholar 

23. Wroński, A., ‘The degree of completeness of some fragments of the intuitionistic propositional logic’, Reports on Mathematical Logic 2 (1974), 55–62.

    Google Scholar 

24. Yokota, S., ‘Axiomatization of the first-order intermediate logics of bounded kripkean heights I, II’, Zeitschrift für mathematische Logik und Grundlagen der Mathematik 35 (1989), 415–421, and 37 (1991), 17–26.

    Google Scholar 

Download references