The additive multiboxes
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4209572 (Why is no real title available?)
- scientific article; zbMATH DE number 1342251 (Why is no real title available?)
- scientific article; zbMATH DE number 1342282 (Why is no real title available?)
- scientific article; zbMATH DE number 786499 (Why is no real title available?)
- scientific article; zbMATH DE number 937366 (Why is no real title available?)
- A new constructive logic: classic logic
- A new deconstructive logic: linear logic
- Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
- Homology of proof-nets
- Light linear logic
- Linear logic
- Linear logic and elementary time
- On the meaning of logical rules. II: Multiplicatives and additives
- The structure of multiplicatives
Cited in
(7)- The geometry of non-distributive logics
- Correctness of linear logic proof structures is NL-complete
- scientific article; zbMATH DE number 2134916 (Why is no real title available?)
- Polarized and focalized linear and classical proofs
- Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
- Cross additivity - an application
- Compressing polarized boxes
This page was built for publication: The additive multiboxes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1861326)