Now showing items 1-2 of 2
Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras
(Wydawnictwo Uniwersytetu Łódzkiego, 2016)
We show that adding compatible operations to Heyting algebras and to commutative residuated lattices, both satisfying the Stone law ¬x ⋁ ¬¬x = 1, preserves filtering (or directed) unification, that is, the property that ...
Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5
(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 ...