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 theorem; intuitionistic logic; Kripke-type semantics; semilattice structures; Henkin's construction
03F50: Metamathematics of constructive systems
03B20: Subsystems of classical logic (including intuitionistic logic)
03B55: Intermediate logics
Related Items
Cites Work