Investigations into a left-structural right-substructural sequent calculus

DOI10.1007/S10849-006-9026-XzbMATH Open1158.03012OpenAlexW2071843095MaRDI QIDQ1006458FDOQ1006458

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

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

zbMATH Keywords

fissionsubstructural logicssequent calculusstructural rulesmultiplicative disjunction

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)

Cites Work

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

Cited In (3)

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

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)