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,449

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

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.
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.
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.
A preservation theorem for equality-free Horn sentences.Pilar Dellunde Clave - 2000 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 15 (3):517-530.
Fred Galvin. Reduced products, Horn sentences, and decision problems. Bulletin of the American Mathematical Society, vol. 73 , pp. 59–64. [REVIEW]Arnold Oberschelp - 1968 - Journal of Symbolic Logic 33 (3):477.
A Preservation Theorem for Equality-Free Horn Sentences.Pilar Dellunde - 2000 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 15 (3):517-530.

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