Now showing items 1-2 of 2

    • A post-style proof of completeness theorem for symmetric relatedness Logic S 

      Klonowski, Mateusz (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      One of the logic defined by Richard Epstein in a context of an analysis of subject matter relationship is Symmetric Relatedness Logic S. In the monograph [2] we can find some open problems concerning relatedness logic, a ...
    • Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus 

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