Przeglądaj Bulletin of the Section of Logic 44/1-2 (2015) według autora "Dzik, Wojciech"
-
Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5
Dzik, Wojciech; Wróbel, Beniamin (Wydawnictwo Uniwersytetu Łódzkiego, 2015)Unifiability of terms (and formulas) and structural completeness in the variety of relation algebras RA and in the products of modal logic S5 is investigated. Nonunifiable terms (formulas) which are satisfiable in varieties ...