Przeglądaj Bulletin of the Section of Logic 45/2 (2016) według tytułu
Wyświetlanie pozycji 4-5 z 5
-
Quasiorders, Tolerance Relations and Corresponding “Partitions”
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)The paper deals with a generalization of the notion of partition for wider classes of binary relations than equivalences: for quasiorders and tolerance relations. The counterpart of partition for the quasiorders is based ... -
Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)In the paper a decision procedure for S5 is presented which uses a cut-free sequent calculus with additional rules allowing a reduction to normal modal forms. It utilizes the fact that in S5 every formula is equivalent to ...