Ein System des Verknüpfenden Schliessens
From MaRDI portal
Publication:3233196
DOI10.1007/BF01969991zbMath0071.00802OpenAlexW2000548819MaRDI QIDQ3233196
Publication date: 1956
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137724
Related Items
De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics ⋮ Well-Ordering Principles in Proof Theory and Reverse Mathematics ⋮ König's lemma, the ω-Rule and primitive recursive arithmetic ⋮ Well ordering principles for iterated \(\Pi^1_1\)-comprehension ⋮ Sequent-type rejection systems for finite-valued non-deterministic logics ⋮ Algebraic proof theory for substructural logics: cut-elimination and completions ⋮ Set-theoretic reflection is equivalent to induction over well-founded classes ⋮ Completely non-clausal theorem proving ⋮ GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC ⋮ Proofs and countermodels in non-classical logics ⋮ Syntactical and semantical properties of simple type theory ⋮ \(\Pi_1^1\)-comprehension as a well-ordering principle ⋮ On the Meaning of Logical Completeness ⋮ From Schütte’s Formal Systems to Modern Automated Deduction
Cites Work
