Elements of logical reasoning

MaRDI QIDQ5408687zbMATH OpenFDO

Authors Jan von Plato

Publication date 11 April 2014

zbMATH Keywords

classical logicformalized mathematical theoriesnatural deduction calculiproof theory

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical propositional logic (03B05) Abstract deductive systems (03B22) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• scientific article; zbMATH DE number 851275
• scientific article; zbMATH DE number 46338
• Logical reasoning. A first course
• Classical mathematical logic. The semantic foundations of logic. With contributions by Lesław W. Szczerba.
• scientific article; zbMATH DE number 1278449

Cited in

(13)

• Dual and axiomatic systems for constructive S4, a formally verified equivalence
• Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited
• Generality and existence: quantificational logic in historical perspective
• Verificationism and Classical Realizability
• scientific article; zbMATH DE number 1163919 (Why is no real title available?)
• From Gentzen to Jaśkowski and back: algorithmic translation of derivations between the two main systems of natural deduction
• Classical First-Order Logic
• Dialectic, the \textit{dictum de omni} and ecthesis
• Constructibility and Geometry
• Indirect proof and inversions of syllogisms
• Axiomatic and dual systems for constructive necessity, a formally verified equivalence
• Gödel's modal interpretation of intuitionistic logic and its proof theory
• Mind the gap: a conciliating short proof of strong normalization for minimal propositional logic

This page was built for publication: Elements of logical reasoning

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