Journal of Logic, Language and Information 16 (2):141-171 (2007)
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 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 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 logics Multiplicative disjunction Fission Structural rules Sequent calculus|
|Categories||categorize this paper)|
References found in this work BETA
Logics Without the Contraction Rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57:161-184.
Citations of this work BETA
Similar books and articles
Admissibility of Structural Rules for Contraction-Free Systems of Intuitionistic Logic.Roy Dyckhoff & Sara Negri - 2000 - Journal of Symbolic Logic 65 (4):1499-1518.
Lambek Calculus with Restricted Contraction and Expansion.Andreja Prijatelj - 1992 - Studia Logica 51 (1):125 - 143.
Modal Translations in Substructural Logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
On Proof Terms and Embeddings of Classical Substructural Logics.Ken-etsu Fujita - 1998 - Studia Logica 61 (2):199-221.
Substructural Implicational Logics Including the Relevant Logic E.Ryo Kashima & Norihiro Kamide - 1999 - Studia Logica 63 (2):181-212.
Distributive-Lattice Semantics of Sequent Calculi with Structural Rules.Alexej P. Pynko - 2009 - Logica Universalis 3 (1):59-94.
Added to index2009-01-28
Total downloads26 ( #198,175 of 2,177,974 )
Recent downloads (6 months)3 ( #112,892 of 2,177,974 )
How can I increase my downloads?