Proofnets and context semantics for the additives
From MaRDI portal
Recommendations
- Proof nets for first-order additive linear logic
- Proof nets for unit-free multiplicative-additive linear logic
- Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives
- Proof nets for the multimodal Lambek calculus
- scientific article; zbMATH DE number 2134911
- Complexity bounds for sum-product logic via additive proof nets and Petri nets
- Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing
- Proof Nets for Lambek Calculus
- Proof nets for multiplicative cyclic linear logic and Lambek calculus
- On intuitionistic proof nets with additional rewrite rules and their approximations
Cited in
(10)- The additive multiboxes
- Structure of proofs and the complexity of cut elimination
- A Relational Trace Logic for Vector Addition Systems with Application to Context-Freeness
- Context semantics, linear logic, and computational complexity
- scientific article; zbMATH DE number 1231532 (Why is no real title available?)
- Case study: Additive linear logic and lattices
- From Hilbert spaces to Dilbert spaces: Context semantics made simple
- scientific article; zbMATH DE number 2134916 (Why is no real title available?)
- On intuitionistic proof nets with additional rewrite rules and their approximations
- A proof-theoretic semantics for adjectival modification
This page was built for publication: Proofnets and context semantics for the additives
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4411821)
