scientific article; zbMATH DE number 6282976

zbMath1291.03004MaRDI QIDQ5408687

Jan von Plato

Publication date: 11 April 2014

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

zbMATH Keywords

proof theoryclassical logicnatural deduction calculiformalized mathematical theories

Mathematics Subject Classification ID

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

Related Items (9)

Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited ⋮ From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction ⋮ Dual and axiomatic systems for constructive S4, a formally verified equivalence ⋮ Verificationism and Classical Realizability ⋮ GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVE ⋮ Dialectic, the 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

This page was built for publication: