Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics
From MaRDI portal
Publication:4053614
DOI10.3792/pja/1195519184zbMath0299.02026MaRDI QIDQ4053614
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
Related Items
On a semantics for non-classical logics, Kripke sheaf completeness of some superintuitionistic predicate logics with a weakened constant domains principle, On the predicate logic of linear Kripke frames and some of its extensions, Mathematical modal logic: A view of its evolution, A study of intermediate predicate logics, 2004 Summer Meeting of the Association for Symbolic Logic
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