Schlussweisen-Kalküle der Prädikatenlogik
From MaRDI portal
Publication:2648344
DOI10.1007/BF01342950zbMath0036.14801MaRDI QIDQ2648344
Publication date: 1950
Published in: Mathematische Annalen (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/160199
Related Items
Kodifikation und Aussagenlogik ⋮ Zur Widerspruchsfreiheit einer typenfreien Logik ⋮ Kripke-Semantik der derivativen Prädikatelogik ⋮ Der Interpolationssatz der intuitionistischen Prädikatenlogik ⋮ Ein System des Verknüpfenden Schliessens ⋮ Proofs and surfaces ⋮ Homorphie-invariante Formeln in der intuitionistischen Logik ⋮ A minimal classical sequent calculus free of structural rules ⋮ Naive structure, contraction and paradox ⋮ Unnamed Item ⋮ Unterstruktur-invariante Formeln in der intuitionistischen Logik ⋮ Pa-Beweisbare ∀∃-Formeln ⋮ Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen ⋮ Semantic values for natural deduction derivations ⋮ Syntactic cut-elimination for common knowledge ⋮ Syntactic Cut-elimination for Common Knowledge ⋮ On disjunctions and existential statements in intuitionistic systems of logic ⋮ Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik ⋮ Dual systems of tableaux and sequents for PLTL ⋮ Ein syntaktischer Beweis für die Zulässigkeit der Schnittregel im Kalkül von Schütte für die intuitionistische Typenlogik ⋮ “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays ⋮ Reminiscences of Kurt Schütte
Cites Work
