Pages that link to "Item:Q1342248"
From MaRDI portal
The following pages link to On proof normalization in linear logic (Q1342248):
Displaying 19 items.
- Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
- Strong normalization property for second order linear logic (Q1044837) (← links)
- Representing scope in intuitionistic deductions (Q1274448) (← links)
- Proof strategies in linear logic (Q1340963) (← links)
- Non-commutative logic. III: Focusing proofs. (Q1427855) (← links)
- Connection methods in linear logic and proof nets construction (Q1575926) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- From multiple sequent for additive linear logic to decision procedures for free lattices (Q1960422) (← links)
- A PSPACE-complete fragment of second-order linear logic (Q1960427) (← links)
- Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization (Q2238136) (← links)
- Linear Logic and Strong Normalization (Q2958373) (← links)
- Realizability Proof for Normalization of Full Differential Linear Logic (Q3007660) (← links)
- A Formalisation of Weak Normalisation (with Respect to Permutations) of Sequent Calculus Proofs (Q4506460) (← links)
- A Tableau Method for the Lambek Calculus based on a Matrix Characterization (Q4924540) (← links)
- Normalization Proof for Derivations in PA after P. Cohen (Q5013909) (← links)
- Proof normalization for resolution and paramodulation (Q5055708) (← links)
- Connection-based proof construction in linear logic (Q5234702) (← links)
- Resource-distribution via Boolean constraints (Q5234703) (← links)
- Proofs as computations in linear logic (Q5941199) (← links)
