Now showing items 1-1 of 1
Cut Elimination Theorem for Non-Commutative Hypersequent Calculus
(Wydawnictwo Uniwersytetu Łódzkiego, 2017)
Hypersequent calculi (HC) can formalize various non-classical logics. In  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 ...