Przeglądaj Bulletin of the Section of Logic według tematu "normal forms"
Wyświetlanie pozycji 1-2 z 2
-
A post-style proof of completeness theorem for symmetric relatedness Logic S
(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
(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 ...