Przeglądaj Bulletin of the Section of Logic 47/3 (2018) według tytułu

Wyświetlanie pozycji 4-5 z 5

    • On interpolation in next (kb.alt(2)) 

      Kostrzycka, Zofia (Wydawnictwo Uniwersytetu Łódzkiego, 2018)
      We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation.

    • 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 ...