Investigations into a left-structural right-substructural sequent calculus

DOI10.1007/S10849-006-9026-XMaRDI QIDQ1006458zbMATH OpenOpenAlexFDO

Authors 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

fissionmultiplicative disjunctionsequent calculusstructural rulessubstructural logics

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 218501
• Not necessarily distributive fuzzy semantics for multiple-conclusion sequent calculi with weak structural rules
• Substructural Logics in Natural Deduction
• Multiplicative conjunction and an algebraic meaning of contraction and weakening
• A minimal classical sequent calculus free of structural rules

Cites work

• 2-element matrices
• A calculus for the common rules of \(\wedge\) and \(\vee\)
• A note on full intuitionistic linear logic
• Contraction-elimination for implicational logics
• Deducibility and many-valuedness
• Full intuitionistic linear logic
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 3591947 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 1138593 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• scientific article; zbMATH DE number 1543335 (Why is no real title available?)
• scientific article; zbMATH DE number 1907195 (Why is no real title available?)
• scientific article; zbMATH DE number 912320 (Why is no real title available?)
• scientific article; zbMATH DE number 1418442 (Why is no real title available?)
• Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5
• Kripke models for linear logic
• Linear logic
• Logics without the contraction rule
• Models for entailment
• Note on deducibility and many-valuedness
• Operational semantics for positive R
• Semantics for relevant logics
• Sequent-systems and groupoid models. II
• Singulary extensional connectives: A closer look
• Substructural logics: a primer
• The semantics and proof theory of linear logic
• Untersuchungen über das logische Schliessen. I

Cited in

(3)

• Replacement in logic
• Hopeful monsters: a note on multiple conclusions
• Weak disharmony: some lessons for proof-theoretic semantics

This page was built for publication: Investigations into a left-structural right-substructural sequent calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1006458)