Opis

• Tytuł:
  Involutive Nonassociative Lambek Calculus: Sequent Systems and Complexity
• Twórca:
  Buszkowski, Wojciech
• Współtwórca:
  Adam Mickiewicz University, Faculty of Mathematics and Computer Science, Poznań, Poland;
  buszko@amu.edu.pl
• Opis:
  In [5] we study Nonassociative Lambek Calculus (NL) augmented with De Morgan negation, satisfying the double negation and contraposition laws. This logic, introduced by de Grooté and Lamarche [10], is called Classical Non-Associative Lambek Calculus (CNL). Here we study a weaker logic InNL, i.e. NL with two involutive negations. We present a one-sided sequent system for InNL, admitting cut elimination. We also prove that InNL is PTIME.;
  Zadanie „ Wdrożenie platformy Open Journal System dla czasopisma „ Bulletin of the Section of Logic” finansowane w ramach umowy 948/P-DUN/2016 ze środków Ministra Nauki i Szkolnictwa Wyższego przeznaczonych na działalność upowszechniającą naukę.
• Dostępność obiektu:
  Dostęp otwarty
• Prawa:
  © Copyright by Authors, Łódź 2017; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2017
• Data:
  2018.04.24;
  2017
• Typ:
  Article
• Język:
  angielski
• Format:
  application/pdf
• Wydawca:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relacja:
  Bulletin of the Section of Logic;1/2;
  46
• Temat i słowa kluczowe:
  nonassociative Lambek calculus;
  linear logic;
  sequent system;
  cut elimination;
  PTIME complexity
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/24563 ;
  2449-836X;
  10.18778/0138-0680.46.1.2.07
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  obrazy