Opis

• Tytuł:
  Cut Elimination Theorem for Non-Commutative Hypersequent Calculus
• Twórca:
  Indrzejczak, Andrzej
• Współtwórca:
  University of Łódź, Department of Logic, Lindleya 3/5, Łódź;
  andrzej.indrzejczak@filozof.uni.lodz.pl
• Opis:
  Hypersequent calculi (HC) can formalize various non-classical logics. In [9] we presented a non-commutative variant of HC for the weakest temporal logic of linear frames Kt4.3 and some its extensions for dense and serial flow of time. The system was proved to be cut-free HC formalization of respective temporal logics by means of Schütte/Hintikka-style semantical argument using models built from saturated hypersequents. In this paper we present a variant of this calculus for Kt4.3 with a constructive syntactical proof of cut elimination.;
  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:
  temporal logic;
  linear time;
  hypersequent calculus;
  cut elimination
• Identyfikator:
  0138-0680;
  http://hdl.handle.net/11089/24557 ;
  2449-836X;
  10.18778/0138-0680.46.1.2.10
• Dostawca danych:
  Repozytorium Uniwersytetu Łódzkiego
• Czy mogę z tego obiektu skorzystać?:
  poproś o pozwolenie
• Rodzaj zawartości:
  obrazy