Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: linear time

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

Cut Elimination Theorem for Non-Commutative Hypersequent Calculus

100%

Indrzejczak A.

Bulletin of the Section of Logic

2017

tom 46

nr 1/2

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.

Ograniczanie wyników

1 Bulletin of the Section of Logic

1 Indrzejczak A.

1 2017

Wyniki wyszukiwania

Cut Elimination Theorem for Non-Commutative Hypersequent Calculus