Pages that link to "Item:Q1575865"

The following pages link to Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic (Q1575865):

Displaying 21 items.

• Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
• Phase semantics and decidability of elementary affine logic (Q596037) (← links)
• Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
• Gentzen-type methods for bilattice negation (Q813084) (← links)
• Towards a semantic characterization of cut-elimination (Q817704) (← links)
• Strong normalization property for second order linear logic (Q1044837) (← links)
• Phase semantics for light linear logic (Q1398478) (← links)
• A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. (Q1603701) (← links)
• On phase semantics and denotational semantics in multiplicative-additive linear logic (Q1971797) (← links)
• Hyper-MacNeille completions of Heyting algebras (Q2062218) (← links)
• First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
• A diagrammatic inference system with Euler circles (Q2255200) (← links)
• Quantitative classical realizability (Q2343127) (← links)
• On the Logic of Expansion in Natural Language (Q2964007) (← links)
• Orthogonality and Boolean Algebras for Deduction Modulo (Q3007658) (← links)
• A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms (Q3540178) (← links)
• Towards a theory of resource: an approach based on soft exponentials (Q3647264) (← links)
• MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics (Q5079762) (← links)
• (Q5144357) (← links)
• A phase semantics for polarized linear logic and second order conservativity (Q5190190) (← links)
• A completeness theorem for symmetric product phase spaces (Q5311727) (← links)