scientific article; zbMATH DE number 4152338

MaRDI QIDQ3481670zbMATH OpenFDO

Authors Anil Nerode

Publication date 1990

zbMATH Keywords

Kripke semanticsintuitionistic propositional logictableaux methoddecision problemfirst-order intuitionistic logic

Mathematics Subject Classification ID

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

Recommendations

• On some extensions of intuitionistic logic
• A short introduction to intuitionistic logic
• On some semi-intuitionistic logics
• scientific article; zbMATH DE number 4055579
• Lectures on inductive logic
• scientific article; zbMATH DE number 3946127
• Intuitionistic logic and implicit definability
• scientific article; zbMATH DE number 6287649
• scientific article; zbMATH DE number 1791673
• scientific article; zbMATH DE number 1489627

Cited in

(8)

• Tableaux for constructive concurrent dynamic logic
• Intuitionistic logic as the implement of incremental model construction for natural language
• Intuitionistic validity in \(T\)-normal Kripke structures
• scientific article; zbMATH DE number 4195939 (Why is no real title available?)
• scientific article; zbMATH DE number 3557754 (Why is no real title available?)
• A short introduction to intuitionistic logic
• Constructive modal logics. I
• Tableau method for residuated logic

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3481670)