Equational Logic and Equational Theories of Algebras

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

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271553

Links

PhilArchive



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

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: A. Tarski, H. Arnold Schmidt, K. Schutte, H.-J. Thiele, Equational Logic and Equational Theories of Algebras. [REVIEW]Ralph Seifert - 1971 - Journal of Symbolic Logic 36 (1):161-162.
Theories with equational forking.Markus Junker & Ingo Kraus - 2002 - Journal of Symbolic Logic 67 (1):326-340.
Equational Reasoning in Non-Classical Logics.Marcelo Frias & Ewa Orlowska - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):27-66.
A note on definability in equational logic.George Weaver - 1994 - History and Philosophy of Logic 15 (2):189-199.
Analytic ideals and cofinal types.Alain Louveau & Boban Velickovi - 1999 - Annals of Pure and Applied Logic 99 (1-3):171-195.
Model completions and r-Heyting categories.Silvio Ghilardi & Marek Zawadowski - 1997 - Annals of Pure and Applied Logic 88 (1):27-46.
Proving consistency of equational theories in bounded arithmetic.Arnold Beckmann† - 2002 - Journal of Symbolic Logic 67 (1):279-296.
A Normalization Procedure For The Equational Fragment Of Labelled Natural Deduction.A. de Oliveira & R. B. de Queiroz - 1999 - Logic Journal of the IGPL 7 (2):173-215.
On the equational theory of representable polyadic equality algebras.István Németi & Gábor Sági - 2000 - Journal of Symbolic Logic 65 (3):1143-1167.
For everyn, then-freely generated algebra is not functionally free in the equational class of diagonalizable algebras.Franco Montagna - 1975 - Studia Logica 34 (4):315 - 319.
Minimum bases for equational theories of groups and rings: the work of Alfred Tarski and Thomas Green.George F. McNulty - 2004 - Annals of Pure and Applied Logic 127 (1-3):131-153.
Decision Problems for Equational Theories of Relation Algebras.H. Andréka, Steven R. Givant & I. Németi - 1997 - American Mathematical Soc..
Quasi-varieties: A special access.Hans-Jürgen Hoehnke - 2004 - Studia Logica 78 (1-2):249 - 260.
The equational theories of representable residuated semigroups.Szabolcs Mikulás - 2015 - Synthese 192 (7):2151-2158.
Weakly associative relation algebras with projections.Agi Kurucz - 2009 - Mathematical Logic Quarterly 55 (2):138-153.

Analytics

Added to PP
2015-02-05

Downloads
30 (#537,355)

6 months
11 (#248,505)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Universal horn classes categorical or free in power.Steven Givant - 1978 - Annals of Mathematical Logic 15 (1):1-53.
Definability in lattices of equational theoris.Ralph McKenzie - 1971 - Annals of Mathematical Logic 3 (2):197-237.
Regular equations and unification theory.Ewa Graczynska - 1989 - Bulletin of the Section of Logic 18 (1):33-39.

View all 12 citations / Add more citations

References found in this work

No references found.

Add more references