Ein System des Verknüpfenden Schliessens

DOI10.1007/BF01969991zbMATH Open0071.00802OpenAlexW2000548819MaRDI QIDQ3233196FDOQ3233196

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

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

Cited In (14)

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

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)