Wyświetlanie pozycji 4-5 z 5

    • Quasiorders, Tolerance Relations and Corresponding “Partitions” 

      Nowak, Marek ORCID (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 

      Indrzejczak, Andrzej ORCID (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 ...