On sentences which are true of direct unions of algebras

Journal of Symbolic Logic 16 (1):14-21 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268661

Other Versions

reprint Horn, Alfred (1951) "On Sentences Which are True of Direct Unions of Algebras". Journal of Symbolic Logic 16(3):216-217

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,874

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: Alfred Horn, On Sentences Which are True of Direct Unions of Algebras. [REVIEW]R. C. Lyndon - 1951 - Journal of Symbolic Logic 16 (3):216-217.
Birkhoff Completeness in Institutions.Mihai Codescu & Daniel Găină - 2008 - Logica Universalis 2 (2):277-309.
Chen Chung Chang and Alfred Horn. Prime ideal characterization of generalized Post algebras. Lattice theory, Proceedings of symposia in pure mathematics, vol. 2 , pp. 43–48. [REVIEW]Tadeusz Traczyk - 1969 - Journal of Symbolic Logic 34 (3):512.
The Horn theory of Boole's partial algebras.Stanley N. Burris & H. P. Sankappanavar - 2013 - Bulletin of Symbolic Logic 19 (1):97-105.
Existential Horn Sentences.R. C. Lyndon - 1965 - Journal of Symbolic Logic 30 (2):253-253.
Horn sentences in identity theory.K. I. Appel - 1959 - Journal of Symbolic Logic 24 (4):306-310.
Reduced Products, Horn Sentences, and Decision Problems.Fred Galvin - 1968 - Journal of Symbolic Logic 33 (3):477-477.
Flat algebras and the translation of universal Horn logic to equational logic.Marcel Jackson - 2008 - Journal of Symbolic Logic 73 (1):90-128.

Analytics

Added to PP
2009-01-28

Downloads
104 (#199,811)

6 months
18 (#152,793)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Constructionist Philosophy of Logic.Patrick Allo - 2017 - Minds and Machines 27 (3):545-564.
Reasoning with models.Roni Khardon & Dan Roth - 1996 - Artificial Intelligence 87 (1-2):187-213.
Horn approximations of empirical data.Henry Kautz, Michael Kearns & Bart Selman - 1995 - Artificial Intelligence 74 (1):129-145.

View all 16 citations / Add more citations

References found in this work

No references found.

Add more references