Horn sentences

Annals of Mathematical Logic 1 (4):389 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(70)90002-1

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,401

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: Fred Galvin, Horn Sentences. [REVIEW]Walter Taylor - 1973 - Journal of Symbolic Logic 38 (4):651-651.
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.
Review: Fred Galvin, Reduced Products, Horn Sentences, and Decision Problems. [REVIEW]Arnold Oberschelp - 1968 - Journal of Symbolic Logic 33 (3):477-477.
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.
Horn Sentences of Small Size in Identity Theory.G. Marongiu & S. Tulipani - 1986 - Mathematical Logic Quarterly 32 (25-30):439-444.
Horn Sentences of Small Size in Identity Theory.G. Marongiu & S. Tulipani - 1986 - Mathematical Logic Quarterly 32 (25‐30):439-444.
Reduced Products, Horn Sentences, and Decision Problems.Fred Galvin - 1968 - Journal of Symbolic Logic 33 (3):477-477.
Review: R. C. Lyndon, Existential Horn Sentences. [REVIEW]Peter G. Hinman - 1965 - Journal of Symbolic Logic 30 (2):253-253.

Analytics

Added to PP
2014-01-17

Downloads
16 (#1,236,832)

6 months
3 (#1,061,821)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Direct product decomposition of theories of modules.Steven Garavaglia - 1979 - Journal of Symbolic Logic 44 (1):77-88.
Fragments of first order logic, I: Universal horn logic.George F. McNulty - 1977 - Journal of Symbolic Logic 42 (2):221-237.
Sheaves and normal submodels.Richard Mansfield - 1977 - Journal of Symbolic Logic 42 (2):241-250.
Logic of reduced power structures.G. C. Nelson - 1983 - Journal of Symbolic Logic 48 (1):53-59.

View all 12 citations / Add more citations

References found in this work

The Consistency of the Continuum Hypothesis.Kurt Gödel - 1940 - Princeton University Press.
Lectures on Boolean Algebras.Paul R. Halmos - 1966 - Journal of Symbolic Logic 31 (2):253-254.
Reduced Direct Products.T. Frayne, A. C. Morel & D. S. Scott - 1966 - Journal of Symbolic Logic 31 (3):506-507.
Distributive Normal Forms in the Calculus of Predicates.Jaakko Hintikka - 1953 - [Edidit Societas Philosophica;,] [Distribuit Akatesminen Kirjakauppa,].

View all 16 references / Add more references