Proceedings of the Japan Academy

Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics

Hiroakira Ono

Full-text: Open access

Article information

Source
Proc. Japan Acad., Volume 49, Number 9 (1973), 711-713.

Dates
First available in Project Euclid: 20 November 2007

Permanent link to this document
https://projecteuclid.org/euclid.pja/1195519184

Digital Object Identifier
doi:10.3792/pja/1195519184

Mathematical Reviews number (MathSciNet)
MR0329865

Zentralblatt MATH identifier
0299.02026

Subjects
Primary: 02C15

Citation

Ono, Hiroakira. Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics. Proc. Japan Acad. 49 (1973), no. 9, 711--713. doi:10.3792/pja/1195519184. https://projecteuclid.org/euclid.pja/1195519184


Export citation

References

  • A. Church: Introduction to Mathematical Logic. Princeton Univ. Press, Princeton, N. J. (1956).
  • S. A. Kripke: Semantical Analysis of Intuitionistic Logic. I(ed. J. Crossley and M. Dummett). Formal Systems and Recursive Functions. Amsterdam, pp. 92-129 (1965).
  • H. Ono: Kripke models and intermediate logics. Publ. RIMS, Kyoto Univ., 6,461-476 (1970/71).
  • H. Ono: On the finite model property for Kripke models. Publ. RIMS, Kyoto Univ., 7, 85-93 (1971/72).
  • H. Ono: A study of intermediate predicate logics. Publ. RIMS, Kyoto Univ., 8, 619-649 (1972/73).
  • R. H. Thomason: On the strong semantical completeness of the intuitionistic predicate calculus. J. Symbolic Logic, 33, 1-7 (1968).
  • T. Umezawa: On logics intermediate between intuitionistic and classical logic. J. Symbolic Logic, 24, 141^153 (1959).