Pages that link to "Item:Q3981450"

The following pages link to Normalization theorems for full first order classical natural deduction (Q3981450):

Displaying 32 items.

• On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem (Q265002) (← links)
• A semantical proof of the strong normalization theorem for full propositional classical natural deduction (Q818927) (← links)
• Normal natural deduction proofs (in classical logic) (Q1577339) (← links)
• Peirce's rule in natural deduction. (Q1607223) (← links)
• Bilateralism does not provide a proof theoretic treatment of classical logic (for technical reasons) (Q1693600) (← links)
• Non-strictly positive fixed points for classical natural deduction (Q1772778) (← links)
• Intrinsic reasoning about functional programs. II: Unipolar induction and primitive-recursion (Q1827398) (← links)
• Church-Rosser property of a simple reduction for full first-order classical natural deduction (Q1861541) (← links)
• A normalization-procedure for the first order classical natural deduction with full logical symbols (Q1904467) (← links)
• Normalisation and subformula property for a system of classical logic with Tarski's rule (Q2118171) (← links)
• Normality, non-contamination and logical depth in classical natural deduction (Q2307304) (← links)
• Full classical S5 in natural deduction with weak normalization (Q2478553) (← links)
• A normative model of classical reasoning in higher order languages (Q2500806) (← links)
• Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited (Q2631646) (← links)
• Normal derivability in classical natural deduction (Q2890694) (← links)
• Gentzen's proof systems: byproducts in a work of genius (Q2915886) (← links)
• Realizability Proof for Normalization of Full Differential Linear Logic (Q3007660) (← links)
• HARMONISING HARMONY (Q3195584) (← links)
• (Q3322078) (← links)
• A new S4 classical modal logic in natural deduction (Q3410675) (← links)
• SUBFORMULA AND SEPARATION PROPERTIES IN NATURAL DEDUCTION VIA SMALL KRIPKE MODELS (Q3577741) (← links)
• Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization (Q3638277) (← links)
• (Q3838766) (← links)
• Proofs of strong normalisation for second order classical natural deduction (Q4382485) (← links)
• A short proof of the strong normalization of classical natural deduction with disjunction (Q4650284) (← links)
• A NORMAL FORM THEOREM FOR SECOND-ORDER CLASSICAL LOGIC WITH AN AXIOM OF CHOICE (Q4711501) (← links)
• (Q4939407) (← links)
• Normal Gentzen deductions in the classical case (Q4952024) (← links)
• (Q5015364) (← links)
• CUT ELIMINATION AND NORMALIZATION FOR GENERALIZED SINGLE AND MULTI-CONCLUSION SEQUENT AND NATURAL DEDUCTION CALCULI (Q5024505) (← links)
• Peirce's Rule in a Full Natural Deduction System (Q5170286) (← links)
• Proof-theoretic semantics: an autobiographical survey (Q6612864) (← links)