Journal of Logic, Language and Information

, Volume 16, Issue 2, pp 141–171

Investigations into a left-structural right-substructural sequent calculus

Original Article

DOI: 10.1007/s10849-006-9026-x

Cite this article as:
Humberstone, L. JoLLI (2007) 16: 141. doi:10.1007/s10849-006-9026-x

Abstract

We study a multiple-succedent sequent calculus with both of the structural rules Left Weakening and Left Contraction but neither of their counterparts on the right, for possible application to the treatment of multiplicative disjunction (fission, ‘cotensor’, par) against the background of intuitionistic logic. We find that, as Hirokawa dramatically showed in a 1996 paper with respect to the rules for implication, the rules for this connective render derivable some new structural rules, even though, unlike the rules for implication, these rules are what we call ipsilateral: applying such a rule does not make any (sub)formula change sides—from the left to the right of the sequent separator or vice versa. Some possibilities for a semantic characterization of the resulting logic are also explored. The paper concludes with three open questions.

Keywords

Substructural logicsMultiplicative disjunctionFissionStructural rulesSequent calculus

Copyright information

© Springer Science+Business Media 2007

Authors and Affiliations

  1. 1.Department of PhilosophyMonash UniversityClaytonAustralia