Geodesic
Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5
Bulletin of the Section of Logic, Tome 44 (2015) no. 1-2.

Voir la notice de l'article provenant de la source Library of Science

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 (in logics) are exhibited. Consequently, RA and products of S5 as well as representable diagonal-freen-dimensional cylindric algebras, RDfn, are almost structurally complete but not structurally complete. In case of S5n a basis for admissible rules and the form of all passive rules are provided.
Keywords: admissible rules, passive rules, unification, projective unification, almost structural completeness, n-modal logic S5n, relation algebras, representable diagonal-free cylindric algebras 
@article{BSL_2015_44_1-2_a7,
     author = {Dzik, Wojciech and Wr\'obel, Beniamin},
     title = {Unifiability and {Structural} {Completeness} in {Relation} {Algebras} and in {Products} of {Modal} {Logic} {S5}},
     journal = {Bulletin of the Section of Logic},
     publisher = {mathdoc},
     volume = {44},
     number = {1-2},
     year = {2015},
     url = {http://geodesic.mathdoc.fr/item/BSL_2015_44_1-2_a7/}
}
TY  - JOUR
AU  - Dzik, Wojciech
AU  - Wróbel, Beniamin
TI  - Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5
JO  - Bulletin of the Section of Logic
PY  - 2015
VL  - 44
IS  - 1-2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2015_44_1-2_a7/
ID  - BSL_2015_44_1-2_a7
ER  - 
%0 Journal Article
%A Dzik, Wojciech
%A Wróbel, Beniamin
%T Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5
%J Bulletin of the Section of Logic
%D 2015
%V 44
%N 1-2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2015_44_1-2_a7/
%F BSL_2015_44_1-2_a7
Dzik, Wojciech; Wróbel, Beniamin. Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5. Bulletin of the Section of Logic, Tome 44 (2015) no. 1-2. http://geodesic.mathdoc.fr/item/BSL_2015_44_1-2_a7/