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

DOI10.3792/PJA/1195519184MaRDI QIDQ4053614zbMATH OpenOpenAlexFDO

Authors 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

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

Cites work

• A study of intermediate predicate logics
• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• Kripke models and intermediate logics
• On logics intermediate between intuitionistic and classical predicate logic
• On the finite model property for Kripke models
• On the strong semantical completeness of the intuitionistic predicate calculus

Cited in

(6)

• Mathematical modal logic: A view of its evolution
• A study of intermediate predicate logics
• 2004 Summer Meeting of the Association for Symbolic Logic
• 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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4053614)