Pages that link to "Item:Q3503742"

The following pages link to Gentzen's Proof of Normalization for Natural Deduction (Q3503742):

Displaying 26 items.

• On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem (Q265002) (← links)
• General-elimination harmony and the meaning of the logical constants (Q600850) (← links)
• Stabilizing quantum disjunction (Q1633237) (← links)
• Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons) (Q1693600) (← links)
• Human-centered automated proof search (Q2069871) (← links)
• Maximum segments as natural deduction images of some cuts (Q2084573) (← links)
• Normalisation and subformula property for a system of classical logic with Tarski's rule (Q2118171) (← links)
• Translations between Gentzen-Prawitz and Jaśkowski-Fitch natural deduction proofs (Q2278834) (← links)
• Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
• Proof-theoretic harmony: towards an intensional account (Q2695033) (← links)
• GENERALITY AND EXISTENCE: QUANTIFICATIONAL LOGIC IN HISTORICAL PERSPECTIVE (Q2795206) (← links)
• On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC (Q2974784) (← links)
• A SEQUENT CALCULUS ISOMORPHIC TO GENTZEN’S NATURAL DEDUCTION (Q3005996) (← links)
• Cut as Consequence (Q3019775) (← links)
• AN ANALYSIS OF THE RULES OF GENTZEN’S<b><i>NJ</i></b>AND<b><i>LJ</i></b> (Q4577998) (← links)
• Das Problem der apagogischen Beweise in Bolzanos<i>Beyträgen</i>und seiner<i>Wissenschaftslehre</i> (Q4983314) (← links)
• Proofs as Objects (Q5057055) (← links)
• Prawitz, Proofs, and Meaning (Q5213604) (← links)
• Inversion Principles and Introduction Rules (Q5213611) (← links)
• Meaning in Use (Q5213613) (← links)
• Dialogues and Proofs; Yankov’s Contribution to Proof Theory (Q5886456) (← links)
• An ecumenical notion of entailment (Q6067097) (← links)
• Adding Negation to Lambda Mu (Q6135761) (← links)
• The elimination of maximum cuts in linear logic and BCK logic (Q6161950) (← links)
• Normalisation and subformula property for a system of intuitionistic logic with general introduction and elimination rules (Q6180164) (← links)
• Harmony in the light of computational ludics (Q6657788) (← links)