A new semantics for intuitionistic predicate logic

DOI10.1007/BF01881545zbMath0615.03011MaRDI QIDQ1820768

Yuichi Komori

Publication date: 1986

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

completeness theoremintuitionistic logicKripke-type semanticssemilattice structuresHenkin's construction

Mathematics Subject Classification ID

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

Related Items (2)

Predicate logics without the structure rules ⋮ Supervenience, Dependence, Disjunction

Cites Work

• A study of intermediate predicate logics
• Logics without the contraction rule
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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