A new semantics for intuitionistic predicate logic

DOI10.1007/BF01881545MaRDI QIDQ1820768zbMATH OpenFDO

Authors Yuichi Komori

Publication date 1986

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01881545

zbMATH Keywords

completeness theoremHenkin's constructionintuitionistic logicKripke-type semanticssemilattice structures

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55) Metamathematics of constructive systems (03F50)

Review text

The main part of the proof of Kripke's completeness theorem for intuitionistic logic is Henkin's construction. We introduce a new Kripke- type semantics with semilattice structures for intuitionistic logic. The completeness theorem for this semantics can be proved without Henkin's construction.

Recommendations

• scientific article; zbMATH DE number 1463256
• Completeness and incompleteness for intuitionistic logic
• ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC
• An intuitionistic completeness theorem for classical predicate logic
• scientific article; zbMATH DE number 4035828

Cites work

• A study of intermediate predicate logics
• scientific article; zbMATH DE number 3853044 (Why is no real title available?)
• scientific article; zbMATH DE number 3821696 (Why is no real title available?)
• scientific article; zbMATH DE number 3906478 (Why is no real title available?)
• scientific article; zbMATH DE number 3300581 (Why is no real title available?)
• Logics without the contraction rule

Cited in

(23)

• Completeness of intuitionistic predicate calculus with the concept of bar
• Predicate logics without the structure rules
• On the number of new logical constants in intuitionistic propositional calculus
• Kripke semantics for intuitionistic Łukasiewicz logic
• Facts, semantics and intuitionism
• scientific article; zbMATH DE number 3950527 (Why is no real title available?)
• scientific article; zbMATH DE number 4035828 (Why is no real title available?)
• scientific article; zbMATH DE number 19690 (Why is no real title available?)
• scientific article; zbMATH DE number 4125400 (Why is no real title available?)
• scientific article; zbMATH DE number 1341468 (Why is no real title available?)
• The Semantic Completeness of a Global Intuitionistic Logic
• scientific article; zbMATH DE number 1463256 (Why is no real title available?)
• On an intuitionistic logic for pragmatics
• Base-extension semantics for intuitionistic sentential logic
• Truth-maker semantics for intuitionistic logic
• Hypo. A simple constructive semantics for intuitionistic sentential logic, soundness and completeness
• Supervenience, dependence, disjunction
• New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers*
• What Tipper is Ready for: A Semantics for Incomplete Predicates
• scientific article; zbMATH DE number 6787709 (Why is no real title available?)
• Completeness and incompleteness for intuitionistic logic
• Set-theoretic semantics for Heyting's system Int
• Sub-sub-intuitionistic logic

This page was built for publication: A new semantics for intuitionistic predicate logic

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