DROPS

Document

DOI: 10.4230/LIPIcs.FSCD.2016.8

Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus

Authors: Ryuta Arisaka

Published in: LIPIcs, Volume 52, 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)

Abstract

Development of a contraction-free BI sequent calculus, be the contraction-freeness implicit or explicit, has not been successful in the literature. We address this problem by presenting such a sequent system. Our calculus involves no structural rules. It should be an insight into non-formula contraction absorption in other non-classical logics. Contraction absorption in sequent calculus is associated to simpler cut elimination and to efficient proof searches.

Cite as

Ryuta Arisaka. Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus. In 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016). Leibniz International Proceedings in Informatics (LIPIcs), Volume 52, pp. 8:1-8:18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@InProceedings{arisaka:LIPIcs.FSCD.2016.8,
  author =	{Arisaka, Ryuta},
  title =	{{Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus}},
  booktitle =	{1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016)},
  pages =	{8:1--8:18},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-010-1},
  ISSN =	{1868-8969},
  year =	{2016},
  volume =	{52},
  editor =	{Kesner, Delia and Pientka, Brigitte},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2016.8},
  URN =		{urn:nbn:de:0030-drops-59742},
  doi =		{10.4230/LIPIcs.FSCD.2016.8},
  annote =	{Keywords: cut-elimination, contraction-free, sequent calculus, proof theory, BI, logic combination}
}

Search Results

Documents authored by Arisaka, Ryuta

Structural Interactions and Absorption of Structural Rules in BI Sequent Calculus

Abstract

Cite as

Thanks for your feedback!

Could not send message