Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5
Dzik, Wojciech; Wróbel, Beniamin
Bulletin of the Section of Logic (2016-03-13T12:06:48Z)
- Volume: 44, Issue: 1-2
- ISSN: 0138-0680
Access Full Article
top
How to cite
topDzik, Wojciech, and Wróbel, Beniamin. "Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5." Bulletin of the Section of Logic 44.1-2 (2016-03-13T12:06:48Z): null. <http://eudml.org/doc/295567>.
@article{Dzik2016-03-13T12:06:48Z,
author = {Dzik, Wojciech, Wróbel, Beniamin},
journal = {Bulletin of the Section of Logic},
keywords = {admissible rules; passive rules; unification; projective unification; almost structural completeness; n-modal logic S5n; relation algebras; representable diagonal-free cylindric algebras},
number = {1-2},
pages = {null},
title = {Unifiability and Structural Completeness in Relation Algebras and in Products of Modal Logic S5},
url = {http://eudml.org/doc/295567},
volume = {44},
year = {2016-03-13T12:06:48Z},
}
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 - 2016-03-13T12:06:48Z
VL - 44
IS - 1-2
SP - null
KW - admissible rules; passive rules; unification; projective unification; almost structural completeness; n-modal logic S5n; relation algebras; representable diagonal-free cylindric algebras
UR - http://eudml.org/doc/295567
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.