István Németi, András Simon  Home/Search
Context
Related
| www3.oup.co.uk/igpl/Vol...nemeti.pdf.gz www3.oup.co.uk/igpl/Volu...nemeti.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: www3.oup.co.uk/igpl/Vol...#jipsen (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper is a survey of recent results concerning connections between relation algebras (RA), cylindric algebras (CA) and polyadic equality algebras (PEA). We describe exactly which subsets of the standard axioms for RA are needed for axiomatizing RA over the RA-reducts of CA 3 's, and we do the same for the class SA of semi-associative relation algebras. We also characterize the class of RA-reducts of PEA 3 's. We investigate the interconnections between the RA-axioms within CA 3 in more... (Update)
Similar documents based on text: More All
1.1: Varieties Of Two-Dimensional Cylindric Algebras. Part II - Bezhanishvili (2002) (Correct)
0.9: Comparing Decision Problems For Various Paradigms Of Algebraic.. - Kurucz (Correct)
0.8: The Class of Neat Reducts is Not Elementary - Ahmed (1999) (Correct)
BibTeX entry: (Update)
@misc{ meti-relation,
author = "István Németi and András Simon",
title = "Relation Algebras from Cylindric and Polyadic Algebras",
url = "citeseer.ist.psu.edu/327816.html" }
Citations (may not include all citations):83 Cylindric Algebras (context) - Henkin, Monk et al. - 1985
42 Distributive and modular laws in the arithmetic of relation .. (context) - Chin, Tarski - 1951
37 Some varieties containing relation algebras (context) - Maddux - 1982
36 On representable relation algebras (context) - Monk - 1964
26 Topics in relation algebras (context) - Maddux - 1978
25 Introductory course on relation algebras (context) - Maddux
9 Strictly finite schema axiomatization of quasi-polyadic alge.. (context) - Sain, Thompson
9 Studies in cylindric algebra (context) - Monk - 1961
7 The structure of relation algebras generated by relativizati.. (context) - Givant - 1994
6 Complexity of equations valid in algebras of relations (context) - Andreka - 1996
5 Algebraic Logic (context) - Andreka, Monk et al. - 1990
4 Splitting in relation algebras (context) - Andreka, Maddux et al. - 1991
2 Relation algebras from cylindric and polyadic algebras II (context) - Nemeti, Simon - 1995
2 Relation algebras and Schroder categories (context) - Jonsson - 1988
1 Relation algebraic conditions for representability of cylind.. (context) - Andreka, Nemeti - 1988
[Article contains additional citations not shown here]
Documents on the same site (http://www3.oup.co.uk/igpl/Volume_05/Issue_04/#jipsen): More
Some Semantical Aspects of Linear Logic - Blass (1997) (Correct)
A Note on Logical Relations Between Semantics and Syntax - Pitts (Correct)
Logic Journal - Of The Editor-In-Chief (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC