On Systems of Identities for Algebras

&
Journal of Symbolic Logic 36 (1):162 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271554

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,347

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

On regular and symmetric identities.E. Graczynska - 1981 - Bulletin of the Section of Logic 10 (3):104-106.
On models of exponentiation. Identities in the HSI-algebra of posets.Gurgen Asatryan - 2008 - Mathematical Logic Quarterly 54 (3):280-287.
Generalized complex algebras and regular identities.Pawel Idziak - 1985 - Bulletin of the Section of Logic 14 (1):84-88.
Proofs of regular identities.Ewa Graczynska & Francis Pastijn - 1981 - Bulletin of the Section of Logic 10 (1):35-37.
On Clifford representation of Hopf algebras and fierz identities.Suemi Rodríguez-Romo - 1996 - Foundations of Physics 26 (11):1457-1468.
Sahlqvist's Theorem for Boolean Algebras with Operators with an Application to Cylindric Algebras.Maarten De Rijke & Yde Venema - 1995 - Studia Logica 54 (1):61 - 78.
Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras.Maarten de Rijke & Yde Venema - 1995 - Studia Logica 54 (1):61-78.
Komori Identities In Algebraic Logic.Willem Blok & Silvia La Falce - 2000 - Reports on Mathematical Logic:79-106.
Decidability and godel incompleteness in af c*-algebras.Daniele Mundici - 2005 - Manuscrito 28 (2):547-558.
Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
On the structure of linearly ordered pseudo-BCK-algebras.Anatolij Dvurečenskij & Jan Kühr - 2009 - Archive for Mathematical Logic 48 (8):771-791.
Qb And Normal Algebras.Bronislaw Tembrowski - 1985 - Bulletin of the Section of Logic 14 (1):41-45.
Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x²) = (2x)².Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157 - 181.
On the definability of join by means of polynomials in implicative algebras.Antoni Torrens - 1985 - Bulletin of the Section of Logic 14 (4):158-162.
On the autological character of diagonalizable algebras.Roberto Magari - 1976 - Studia Logica 35 (4):327 - 333.

Analytics

Added to PP
2013-11-03

Downloads
13 (#1,042,339)

6 months
1 (#1,478,500)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references