scientific article
From MaRDI portal
Publication:4001401
zbMath0722.03001MaRDI QIDQ4001401
Publication date: 18 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
consistencycompletenesscompactnessnatural deductionKripke semanticsclassical and intuitionistic variantsfirst and second order arithmetics
Other nonclassical logic (03B60) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05)
Related Items (5)
The enduring scandal of deduction. Is propositional logic really uninformative? ⋮ Fitch's paradox and probabilistic antirealism ⋮ Pluralism in Logic: The Square of Opposition, Leibniz’ Principle of Sufficient Reason and Markov’s Principle ⋮ Burali-Forti as a purely logical paradox ⋮ Normality, non-contamination and logical depth in classical natural deduction
This page was built for publication: