Publié le : 2002-03-14
Classification:
03G15,
03F07
@article{1190150037,
author = {Hirsch, Robin and Hodkinson, Ian and Maddux, Roger D.},
title = {Relation algebra reducts of cylindric algebras and an application to proof theory},
journal = {J. Symbolic Logic},
volume = {67},
number = {1},
year = {2002},
pages = { 197-213},
language = {en},
url = {http://dml.mathdoc.fr/item/1190150037}
}
Hirsch, Robin; Hodkinson, Ian; Maddux, Roger D. Relation algebra reducts of cylindric algebras and an application to proof theory. J. Symbolic Logic, Tome 67 (2002) no. 1, pp. 197-213. http://gdmltest.u-ga.fr/item/1190150037/