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

DOI10.3792/pja/1195519184zbMath0299.02026OpenAlexW2035694150MaRDI QIDQ4053614

Hiroakira Ono

Publication date: 1973

Published in: Proceedings of the Japan Academy, Series A, Mathematical Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3792/pja/1195519184

Mathematics Subject Classification ID

Model theory (03C99) Intermediate logics (03B55)

Related Items (6)

Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle ⋮ Mathematical modal logic: A view of its evolution ⋮ On a semantics for non-classical logics ⋮ 2004 Summer Meeting of the Association for Symbolic Logic ⋮ A study of intermediate predicate logics ⋮ On the predicate logic of linear Kripke frames and some of its extensions

Cites Work

• Unnamed Item
• Unnamed Item
• A study of intermediate predicate logics
• Kripke models and intermediate logics
• On the finite model property for Kripke models
• On logics intermediate between intuitionistic and classical predicate logic
• On the strong semantical completeness of the intuitionistic predicate calculus

This page was built for publication: Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics