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

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.
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.
Birkhoff Completeness in Institutions.Mihai Codescu & Daniel Găină - 2008 - Logica Universalis 2 (2):277-309.
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.
Flat algebras and the translation of universal Horn logic to equational logic.Marcel Jackson - 2008 - Journal of Symbolic Logic 73 (1):90-128.
Reduced Products, Horn Sentences, and Decision Problems.Fred Galvin - 1968 - Journal of Symbolic Logic 33 (3):477-477.
Review: Alfred Horn, The Separation Theorem of Intuitionist Propositional Calculus. [REVIEW]T. Thacer Robinson - 1967 - Journal of Symbolic Logic 32 (2):282-282.
Alfred Horn. The separation theorem of intuitionist propositional calculus. The journal of symbolic logic, vol. 27 no. 4 , pp. 391–399.T. Thacher Robinson - 1967 - Journal of Symbolic Logic 32 (2):282.

Analytics

Added to PP
2009-01-28

Downloads
223 (#181,915)

6 months
44 (#187,635)

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 20 citations / Add more citations

References found in this work

No references found.

Add more references