A new deconstructive logic: linear logic
From MaRDI portal
Publication:4372906
Recommendations
Cites work
- scientific article; zbMATH DE number 46869 (Why is no real title available?)
- A general storage theorem for integers in call-by-name \(\lambda\)- calculus
- A new constructive logic: classic logic
- A symmetric lambda calculus for classical program extraction
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Classical logic, storage operators and second-order lambda-calculus
- Coherent models of proof nets
- Cut elimination for the unified logic
- Linear logic
- On the Interpretation of Non-Finitist Proofs--Part I
- On the linear decoration of intuitionistic derivations
- On the unity of logic
- Proof strategies in linear logic
- Recursive programming with proofs
- Untersuchungen über das logische Schliessen. II
Cited in
(39)- Proofs of strong normalisation for second order classical natural deduction
- Constructive classical logic as CPS-calculus
- Cut elimination for the unified logic
- Polarized and focalized linear and classical proofs
- On the form of witness terms
- A logical characterization of forward and backward chaining in the inverse method
- Polarized games
- Strong normalization property for second order linear logic
- Polarized proof-nets and \(\lambda \mu\)-calculus
- The additive multiboxes
- Linear logic and elementary time
- Computational isomorphisms in classical logic
- Call-by-name reduction and cut-elimination in classical logic
- CERES: An analysis of Fürstenberg's proof of the infinity of primes
- Structure of proofs and the complexity of cut elimination
- Focusing Gentzen's LK proof system
- Proving termination of evaluation for system F with control operators
- Classical call-by-need and duality
- scientific article; zbMATH DE number 742720 (Why is no real title available?)
- Computation with classical sequents
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
- Proof Transformations and Structural Invariance
- Proofs, reasoning and the metamorphosis of logic
- A focused approach to combining logics
- Focusing and polarization in linear, intuitionistic, and classical logics
- Focalisation and Classical Realisability
- Preface to the special volume
- scientific article; zbMATH DE number 7533330 (Why is no real title available?)
- On the linear decoration of intuitionistic derivations
- On the unity of logic
- Strong normalization for all-style \(\mathbf{LK}^\mathrm{tq}\)
- Strong Normalisation of Cut-Elimination That Simulates β-Reduction
- Expansion trees with cut
- Strong normalization of the second-order symmetric \(\lambda \mu\)-calculus
- A Clausal Approach to Proof Analysis in Second-Order Logic
- On the unity of duality
- A linear perspective on cut-elimination for non-wellfounded sequent calculi with least and greatest fixed-points
- Proof nets for classical logic
- Towards the animation of proofs -- testing proofs by examples
This page was built for publication: A new deconstructive logic: linear logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4372906)
