Pages that link to "Item:Q4372906"
From MaRDI portal
The following pages link to A new deconstructive logic: linear logic (Q4372906):
Displaying 34 items.
- Preface to the special volume (Q534064) (← links)
- Polarized and focalized linear and classical proofs (Q556824) (← links)
- A focused approach to combining logics (Q639671) (← links)
- A logical characterization of forward and backward chaining in the inverse method (Q928660) (← links)
- CERES: An analysis of Fürstenberg's proof of the infinity of primes (Q944367) (← links)
- On the form of witness terms (Q982183) (← links)
- Focusing and polarization in linear, intuitionistic, and classical logics (Q1035706) (← links)
- Strong normalization property for second order linear logic (Q1044837) (← links)
- On the linear decoration of intuitionistic derivations (Q1345901) (← links)
- Computational isomorphisms in classical logic (Q1398471) (← links)
- Linear logic and elementary time (Q1401946) (← links)
- Polarized proof-nets and \(\lambda \mu\)-calculus (Q1853586) (← links)
- The additive multiboxes (Q1861326) (← links)
- Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus (Q1881230) (← links)
- Polarized games (Q1886321) (← links)
- Proof nets for classical logic (Q1982017) (← links)
- Structure of proofs and the complexity of cut elimination (Q2368983) (← links)
- Call-by-name reduction and cut-elimination in classical logic (Q2482842) (← links)
- On the unity of duality (Q2482843) (← links)
- Classical Call-by-Need and Duality (Q3007655) (← links)
- Computation with classical sequents (Q3520146) (← links)
- A Clausal Approach to Proof Analysis in Second-Order Logic (Q3605531) (← links)
- Focalisation and Classical Realisability (Q3644763) (← links)
- Proofs of strong normalisation for second order classical natural deduction (Q4382485) (← links)
- Strong normalization for all-style LKtq (Q4645240) (← links)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
- (Q4957787) (← links)
- (Q5079725) (← links)
- Expansion trees with cut (Q5236547) (← links)
- CONSTRUCTIVE CLASSICAL LOGIC AS CPS-CALCULUS (Q5249031) (← links)
- Proofs, Reasoning and the Metamorphosis of Logic (Q5251186) (← links)
- Proof Transformations and Structural Invariance (Q5426006) (← links)
- Strong Normalisation of Cut-Elimination That Simulates β-Reduction (Q5458374) (← links)
- Towards the animation of proofs -- testing proofs by examples (Q5958295) (← links)
