Publication:3481670
From MaRDI portal
zbMath0703.03001MaRDI QIDQ3481670
Publication date: 1990
Kripke semantics; intuitionistic propositional logic; decision problem; tableaux method; first-order intuitionistic logic
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Intuitionistic validity in \(T\)-normal Kripke structures, Constructive modal logics. I, Tableau method for residuated logic, Intuitionistic logic as the implement of incremental model construction for natural language, Tableaux for constructive concurrent dynamic logic