Pages that link to "Item:Q2648344"

The following pages link to Schlussweisen-Kalküle der Prädikatenlogik (Q2648344):

Displaying 23 items.

• A minimal classical sequent calculus free of structural rules (Q636359) (← links)
• On disjunctions and existential statements in intuitionistic systems of logic (Q767454) (← links)
• Syntactic cut-elimination for common knowledge (Q1024553) (← links)
• Dual systems of tableaux and sequents for PLTL (Q1035676) (← links)
• Der Interpolationssatz der intuitionistischen Prädikatenlogik (Q1130509) (← links)
• Naive structure, contraction and paradox (Q1708466) (← links)
• Proofs and surfaces (Q2195640) (← links)
• Semantic values for natural deduction derivations (Q2500822) (← links)
• Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik (Q2553430) (← links)
• Ein syntaktischer Beweis für die Zulässigkeit der Schnittregel im Kalkül von Schütte für die intuitionistische Typenlogik (Q2558215) (← links)
• Zur Widerspruchsfreiheit einer typenfreien Logik (Q2650840) (← links)
• Ein System des Verknüpfenden Schliessens (Q3233196) (← links)
• Pa-Beweisbare ∀∃-Formeln (Q3338236) (← links)
• Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen (Q4401924) (← links)
• Syntactic Cut-elimination for Common Knowledge (Q4982123) (← links)
• “Sehr geehrter Herr Professor!” Proof Theory in 1949 in a Letter from Schütte to Bernays (Q5013891) (← links)
• Reminiscences of Kurt Schütte (Q5013897) (← links)
• Kodifikation und Aussagenlogik (Q5573354) (← links)
• Kripke-Semantik der derivativen Prädikatelogik (Q5622157) (← links)
• Homorphie-invariante Formeln in der intuitionistischen Logik (Q5663837) (← links)
• Unterstruktur-invariante Formeln in der intuitionistischen Logik (Q5678839) (← links)
• (Q6060676) (← links)
• \textit{Grundlagen der arithmetik}, {\S}17. I: Frege's anticipation of the deduction theorem (Q6612865) (← links)