Universal equational theories and varieties of algebras

Annals of Mathematical Logic 17 (1):117 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(79)90023-8

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,592

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

Review: Don Pigozzi, Base-Undecidable Properties of Universal Varieties; Don Pigozzi, Universal Equational Theories and Varieties of Algebras. [REVIEW]S. Burris - 1982 - Journal of Symbolic Logic 47 (4):904-904.
Model completions and r-Heyting categories.Silvio Ghilardi & Marek Zawadowski - 1997 - Annals of Pure and Applied Logic 88 (1):27-46.
Quasi-varieties: A special access. [REVIEW]Dr Habil Hans-Jürgen Hoehnke - 2004 - Studia Logica 78 (1-2):249-260.
A Minimal Equational Base For Certain Varieties Of Bck-algebras.Pawel Idziak - 1981 - Bulletin of the Section of Logic 10 (4):152-156.
Weakly associative relation algebras with projections.Agi Kurucz - 2009 - Mathematical Logic Quarterly 55 (2):138-153.
Birkhoff-like sheaf representation for varieties of lattice expansions.Hector Gramaglia & Diego Vaggione - 1996 - Studia Logica 56 (1-2):111 - 131.
Varieties of quasi-Stone algebras.Hernando Gaitán - 2001 - Annals of Pure and Applied Logic 108 (1-3):229-235.
Decidability problem for finite Heyting algebras.Katarzyna Idziak & Pawel M. Idziak - 1988 - Journal of Symbolic Logic 53 (3):729-735.
Algebraic Characterizations for Universal Fragments of Logic.Raimon Elgueta - 1999 - Mathematical Logic Quarterly 45 (3):385-398.
Equational Reasoning in Non-Classical Logics.Marcelo Frias & Ewa Orlowska - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):27-66.
Flat algebras and the translation of universal Horn logic to equational logic.Marcel Jackson - 2008 - Journal of Symbolic Logic 73 (1):90-128.
Natural dualities for varieties ofn-valued łukasiewicz algebras.H. A. Priestley - 1995 - Studia Logica 54 (3):333 - 370.
Pretabular varieties of modal algebras.W. J. Blok - 1980 - Studia Logica 39 (2-3):101 - 124.
Equational Logic and Equational Theories of Algebras.A. Tarski, H. Arnold Schmidt & K. Schutte - 1971 - Journal of Symbolic Logic 36 (1):161-162.
Quasi-varieties: A special access.Hans-Jürgen Hoehnke - 2004 - Studia Logica 78 (1-2):249 - 260.

Analytics

Added to PP
2014-01-17

Downloads
9 (#1,246,467)

6 months
1 (#1,469,469)

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

Unsolvable problems for equational theories.Peter Perkins - 1967 - Notre Dame Journal of Formal Logic 8 (3):175-185.
Undecidable properties of finite sets of equations.George F. McNulty - 1976 - Journal of Symbolic Logic 41 (3):589-604.
The decision problem for equational bases of algebras.George F. McNulty - 1976 - Annals of Mathematical Logic 10 (3):193.
The Number of Equationally Complete Classes of Equations.Jan Kalicki - 1958 - Journal of Symbolic Logic 23 (1):56-57.

View all 6 references / Add more references