Investigations into a left-structural right-substructural sequent calculus
From MaRDI portal
Publication:1006458
DOI10.1007/s10849-006-9026-xzbMath1158.03012OpenAlexW2071843095MaRDI QIDQ1006458
Publication date: 24 March 2009
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-006-9026-x
Cut-elimination and normal-form theorems (03F05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (3)
Replacement in logic ⋮ WEAK DISHARMONY: SOME LESSONS FOR PROOF-THEORETIC SEMANTICS ⋮ Hopeful monsters: a note on multiple conclusions
Cites Work
- Linear logic
- Contraction-elimination for implicational logics
- A calculus for the common rules of \(\wedge\) and \(\vee\)
- The semantics and proof theory of linear logic
- Operational semantics for positive R
- 2-element matrices
- Models for entailment
- Sequent-systems and groupoid models. II
- Full intuitionistic linear logic
- Singulary extensional connectives: A closer look
- Substructural logics: a primer
- Untersuchungen über das logische Schliessen. I
- A note on full intuitionistic linear logic
- Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5
- Kripke models for linear logic
- Logics without the contraction rule
- Note on deducibility and many-valuedness
- Semantics for relevant logics
- Deducibility and many-valuedness
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Investigations into a left-structural right-substructural sequent calculus