A new semantics for intuitionistic predicate logic
From MaRDI portal
Publication:1820768
DOI10.1007/BF01881545zbMath0615.03011MaRDI QIDQ1820768
Publication date: 1986
Published in: Studia Logica (Search for Journal in Brave)
completeness theoremintuitionistic logicKripke-type semanticssemilattice structuresHenkin's construction
Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)
Related Items
Cites Work