Pages that link to "Item:Q1902976"

The following pages link to A strong normalization result for classical logic (Q1902976):

Displaying 17 items.

• Strong normalization property for second order linear logic (Q1044837) (← links)
• A direct proof of strong normalization for full constructive second-order logic (Q1769440) (← links)
• Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus (Q1853595) (← links)
• Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus (Q1881230) (← 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)
• A normative model of classical reasoning in higher order languages (Q2500806) (← links)
• Strong normalisation of cut-elimination in classical logic (Q2708321) (← links)
• Linear Logic and Strong Normalization (Q2958373) (← links)
• Proofs of strong normalisation for second order classical natural deduction (Q4382485) (← links)
• SN and CR for free-style <i>LK^tq</i>: linear decorations and simulation of normalization (Q4532608) (← 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)
• (Q5039104) (← links)
• Programming and Proving with Classical Types (Q5055999) (← links)
• (Q5202652) (← links)
• Classical Logic with Mendler Induction (Q5283417) (← links)