scientific article

zbMath0703.03001MaRDI QIDQ3481670

Anil Nerode

Publication date: 1990

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Kripke semanticsintuitionistic propositional logicdecision problemtableaux methodfirst-order intuitionistic logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Tableau method for residuated logic, Intuitionistic logic as the implement of incremental model construction for natural language, Intuitionistic validity in \(T\)-normal Kripke structures, Tableaux for constructive concurrent dynamic logic, Constructive modal logics. I