Description

• Title:
  Cut Elimination Theorem for Non-Commutative Hypersequent Calculus
• Creator:
  Indrzejczak, Andrzej
• Contributor:
  University of Łódź, Department of Logic, Lindleya 3/5, Łódź;
  andrzej.indrzejczak@filozof.uni.lodz.pl
• Description:
  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ę.
• Object availability:
  free access
• Rights:
  © Copyright by Authors, Łódź 2017; © Copyright for this edition by Uniwersytet Łódzki, Łódź 2017
• Date:
  2018.04.24;
  2017
• Type:
  Article
• Language:
  English
• Format:
  application/pdf
• Publisher:
  Wydawnictwo Uniwersytetu Łódzkiego
• Relation:
  Bulletin of the Section of Logic;1/2;
  46
• Subject:
  temporal logic;
  linear time;
  hypersequent calculus;
  cut elimination
• Identifier:
  0138-0680;
  http://hdl.handle.net/11089/24557 ;
  2449-836X;
  10.18778/0138-0680.46.1.2.10
• Data provider:
  Repozytorium Uniwersytetu Łódzkiego
• Can I use it?:
  seek permission
• Type:
  image