Axiomatization of identity-free equations valid in relation algebras-Reference-Cited by-同舟云学术

Axiomatization of identity-free equations valid in relation algebras

Published:1996-06 Issue:2 Volume:35 Page:256-264
ISSN:0002-5240
Container-title:Algebra Universalis
language:en
Short-container-title:Algebra Universalis

Author:

Andr�ka H.,N�meti I.

Publisher

Springer Science and Business Media LLC

Subject

Algebra and Number Theory

Link

http://link.springer.com/content/pdf/10.1007/BF01195500.pdf

Reference12 articles.

1. Andr�ka, H.,Complexity of equations valid in algebras of relations, Dissertation with the Academy of Sciences, Budapest, 1990. Annals of Pure and Applied Logic, to appear.

2. Andr�ka, H., Givant, S. andN�meti, I.,Perfect extensions and derived algebras, Journal of Symbolic Logic60, 3 (1995), 775?796.

3. Bredihin, D. andSchein, B.,Representations of ordered semigroups and lattices by binary relations, Colloquium Mathematicum39 (1978), 1?12.

4. J�nsson, B.,Program specification algebras, Letter, Backus, 7/15/89.

5. J�nsson, B.,Program specifications as Boolean operators, Preliminary draft prepared for the J�nsson Conference, July 1990.

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Axiomatizability of positive algebras of binary relations;Algebra universalis;2011-08-31

2. Representable semilattice-ordered monoids;Algebra universalis;2007-11

3. Algebraic Logic;Handbook of Philosophical Logic;2001

4. Proof Systems in Relation Algebra;Relational Methods for Computer Science Applications;2001

5. Complexity of equations valid in algebras of relations part II: Finite axiomatizations;Annals of Pure and Applied Logic;1997-12