Investigations into a left-structural right-substructural sequent calculus
type: Item
instance of: scholarly article
title: Investigations into a left-structural right-substructural sequent calculus
zbMATH Open document ID: 1158.03012
author: Lloyd Humberstone
published in: Journal of Logic, Language and Information
publication date: 2009-03-24T00:00:00Z
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 03F05
zbMATH DE Number: 5532519
zbMATH Keywords: substructural logics
zbMATH Keywords: multiplicative disjunction
zbMATH Keywords: fission
zbMATH Keywords: structural rules
zbMATH Keywords: sequent calculus
MaRDI profile type: Publication
full work available at URL: s10849-006-9026-x
OpenAlex ID: W2071843095
cites work: Kripke models for linear logic
cites work: The semantics and proof theory of linear logic
cites work: Q4941997
cites work: A note on full intuitionistic linear logic
cites work: Q3867808
cites work: Sequent-systems and groupoid models. II
cites work: Q4342081
cites work: Models for entailment
cites work: Untersuchungen über das logische Schliessen. I
cites work: Linear logic
cites work: Operational semantics for positive R
cites work: Singulary extensional connectives: A closer look
cites work: Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5
cites work: Full intuitionistic linear logic
cites work: Q4520811
cites work: Contraction-elimination for implicational logics
cites work: Q4887109
cites work: Logics without the contraction rule
cites work: Substructural logics: a primer
cites work: 2-element matrices
cites work: A calculus for the common rules of \(\wedge\) and \(\vee\)
cites work: Q4805593
cites work: Deducibility and many-valuedness
cites work: Q4159022
cites work: Q4383724
cites work: Q4495851
cites work: Semantics for relevant logics
cites work: Note on deducibility and many-valuedness
DOI: 10.1007/S10849-006-9026-X
description: scientific article; zbMATH DE number 5532519