Now showing items 1-1 of 1

    • Cut Elimination Theorem for Non-Commutative Hypersequent Calculus 

      Indrzejczak, Andrzej (Wydawnictwo Uniwersytetu Łódzkiego, 2017)
      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 ...