- Tytuł:
- Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5
- Autorzy:
-
Dzik, Wojciech
Wróbel, Beniamin - Data publikacji:
- 2015
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
admissible rules
passive rules
unification
projective unification
almost structural completeness
n-modal logic S5n
relation algebras
representable diagonal-free cylindric algebras - Dostawca treści:
- Biblioteka Nauki
Artykuł