Ein System des Verknüpfenden Schliessens

DOI10.1007/BF01969991MaRDI QIDQ3233196zbMATH OpenOpenAlexFDO

Authors Kurt Schütte

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

zbMATH Keywords

foundations, philosophy, logic

Cites work

• Algebraische und logistische Untersuchungen über freie Verbände
• Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
• Schlussweisen-Kalküle der Prädikatenlogik

Cited in

(14)

• Syntactical and semantical properties of simple type theory
• Algebraic proof theory for substructural logics: cut-elimination and completions
• De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics
• Set-theoretic reflection is equivalent to induction over well-founded classes
• Completely non-clausal theorem proving
• GENERALITY AND EXISTENCE 1: QUANTIFICATION AND FREE LOGIC
• Well-Ordering Principles in Proof Theory and Reverse Mathematics
• \(\Pi_1^1\)-comprehension as a well-ordering principle
• From Schütte’s Formal Systems to Modern Automated Deduction
• Well ordering principles for iterated \(\Pi^1_1\)-comprehension
• Sequent-type rejection systems for finite-valued non-deterministic logics
• On the Meaning of Logical Completeness
• Proofs and countermodels in non-classical logics
• König's lemma, the ω-Rule and primitive recursive arithmetic

This page was built for publication: Ein System des Verknüpfenden Schliessens

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