Nonfinite axiomatizability results for cylindric and relation algebras

Publisher： Cambridge University Press

E-ISSN： 1943-5886|54|3|951-974

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.54, Iss.3, 1989-09, pp. : 951-974

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Relation algebra reducts of cylindric algebras and complete representations

By  

The Journal of Symbolic Logic, Vol. 72, Iss. 2, 2007-06 ,pp. : 673-703

Cambridge University Press

Access to resources Recommend Favorite

Connections between quasi-projective relation algebras and cylindric algebras

By Simon András  

algebra universalis, Vol. 56, Iss. 3-4, 2007-06 ,pp. : 263-301

Springer Publishing Company

Access to resources Recommend Favorite

Relation algebra reducts of cylindric algebras and an application to proof theory

By  

The Journal of Symbolic Logic, Vol. 67, Iss. 1, 2002-03 ,pp. : 197-213

Cambridge University Press

Access to resources Recommend Favorite

Corrigendum to: “Relation Algebra Reducts of Cylindric Algebras and Complete Representations”

By  

The Journal of Symbolic Logic, Vol. 78, Iss. 4, 2013-12 ,pp. : 1345-1346

Cambridge University Press

Access to resources Recommend Favorite

Cylindric algebras with terms

By  

The Journal of Symbolic Logic, Vol. 55, Iss. 2, 1990-06 ,pp. : 854-866

Cambridge University Press

Access to resources Recommend Favorite