K. I. Appel. Horn sentences in identity theory. The journal of symbolic logic, vol. 24 no. 4 , pp. 306–310

Journal of Symbolic Logic 31 (1):131-132 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

1996

DOI

10.2307/2270665

Links

PhilArchive



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

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: K. I. Appel, Horn Sentences in Identity Theory. [REVIEW]H. Jerome Keisler - 1966 - Journal of Symbolic Logic 31 (1):131-132.
Horn Sentences in Identity Theory.K. I. Appel - 1966 - Journal of Symbolic Logic 31 (1):131-132.
Horn sentences in identity theory.K. I. Appel - 1959 - Journal of Symbolic Logic 24 (4):306-310.
Birkhoff Completeness in Institutions.Mihai Codescu & Daniel Găină - 2008 - Logica Universalis 2 (2):277-309.
Horn Sentences of Small Size in Identity Theory.G. Marongiu & S. Tulipani - 1986 - Mathematical Logic Quarterly 32 (25‐30):439-444.
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.
Fred Galvin. Horn sentences. Annals of mathematical logic, vol. 1 no. 4 , pp. 389–422.Walter Taylor - 1973 - Journal of Symbolic Logic 38 (4):651.
Review: Fred Galvin, Horn Sentences. [REVIEW]Walter Taylor - 1973 - Journal of Symbolic Logic 38 (4):651-651.
Review: R. C. Lyndon, Existential Horn Sentences. [REVIEW]Peter G. Hinman - 1965 - Journal of Symbolic Logic 30 (2):253-253.
On Sentences Which are True of Direct Unions of Algebras.Alfred Horn - 1951 - Journal of Symbolic Logic 16 (3):216-217.
On sentences which are true of direct unions of algebras.Alfred Horn - 1951 - Journal of Symbolic Logic 16 (1):14-21.
Reduced Products, Horn Sentences, and Decision Problems.Fred Galvin - 1968 - Journal of Symbolic Logic 33 (3):477-477.
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.
Reduced Products and Horn Classes.H. Jerome Keisler - 1966 - Journal of Symbolic Logic 31 (3):507-507.

Analytics

Added to PP
2014-04-01

Downloads
25 (#618,847)

6 months
1 (#1,516,429)

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