Investigations into a left-structural right-substructural sequent calculus

DOI10.1007/s10849-006-9026-xzbMath1158.03012OpenAlexW2071843095MaRDI QIDQ1006458

Lloyd Humberstone

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

zbMATH Keywords

sequent calculussubstructural logicsstructural rulesfissionmultiplicative disjunction

Mathematics Subject Classification ID

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