Opis

• Tytuł:
  One-Sided Sequent Systems for Nonassociative Bilinear Logic: Cut Elimination and Complexity
• Twórca:
  Płaczek, Paweł
• Współtwórca:
  Adam Mickiewicz University, Faculty of Mathematics and Computer Science Uniwersytetu Poznanskiego 4, 61-614 Poznan, Poland;
  pawel.placzek@amu.edu.pl
• Opis:
  Bilinear Logic of Lambek amounts to Noncommutative MALL of Abrusci. Lambek proves the cut–elimination theorem for a one-sided (in fact, left-sided) sequent system for this logic. Here we prove an analogous result for the nonassociative version of this logic. Like Lambek, we consider a left-sided system, but the result also holds for its right-sided version, by a natural symmetry. The treatment of nonassociative sequent systems involves some subtleties, not appearing in associative logics. We also prove the PTime complexity of the multiplicative fragment of NBL.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa: https://creativecommons.org/licenses/by-nc-nd/4.0
• Data:
  2021.05.05;
  2020.11.13
• Typ:
  Other
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;1;
  50
• Temat i słowa kluczowe:
  Substructural logic;
  Lambek calculus;
  nonassociative linear logic;
  sequent system;
  PTime complexity
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/35352 ;
  2449-836X;
  10.18778/0138-0680.2020.25
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  sprawdź warunki licencji
• Rodzaj zawartości:
  pozostałe