✦ LIBER ✦

The equational theory of union-free algebras of relations

✍ Scribed by H. Andréka; D. A. Bredikhin

Publisher: Springer
Year: 1995
Tongue: English
Weight: 748 KB
Volume: 33
Category: Article
ISSN: 0002-5240
DOI: 10.1007/bf01225472

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Axiomatization of identity-free equation

Axiomatization of identity-free equations valid in relation algebras

✍ H. Andréka; I. Németi 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 416 KB

On the equational class of diagonalizabl

On the equational class of diagonalizable algebras

✍ Glaudio Bernardi 📂 Article 📅 1975 🏛 Springer Netherlands 🌐 English ⚖ 570 KB

The Essentially Equational Theory of Hor

The Essentially Equational Theory of Horn Classes

✍ Hans-E. Porst 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 233 KB

It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic (see ). In the special case of quasivarieties a direct translation of the implicational syntax into the essentially equational one is known (see ). Here we present a similar tr

On the subdirect Product of some Equatio

On the subdirect Product of some Equational classes of Algebras

✍ J. Płonka 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 133 KB

Nonfinite axiomatizability of the equati

Nonfinite axiomatizability of the equational theory of shuffle

✍ Zoltán Ésik; Michael Bertol 📂 Article 📅 1998 🏛 Springer-Verlag 🌐 English ⚖ 349 KB

The multiplicative fragment of the Yanov

The multiplicative fragment of the Yanov equational theory

✍ Igor Dolinka 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 216 KB

We give a ÿnite equational axiomatization for +-free identities of (regular) languages which contain the empty word. The axioms for the whole equational theory of such languages were given by Yanov.