Fragments of first order logic, I: Universal horn logic

Journal of Symbolic Logic 42 (2):221-237 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272123

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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: Ralph N. McKenzie, George F. McNulty, Walter F. Taylor, Algebras, Lattices, Varieties. [REVIEW]Joel Berman - 1992 - Journal of Symbolic Logic 57 (1):266-268.
V. L. MurskiĬ. Nondiscernible properties of finite systems of identity relations. Soviet mathematics, vol. 12 , pp. 183–186. , pp. 520–522.) - George F. McNulty. The decision problem for equational bases of algebras. Annals of mathematical logic, vol. 10 , pp. 193–259. - George F. McNulty. Undecidable properties of finite sets of equations. The journal of symbolic logic, vol. 41 , pp. 589–604. [REVIEW]S. Burris - 1982 - Journal of Symbolic Logic 47 (4):903-904.
Review: V. L. Murskii, D. M. Pritzker, Nondiscernible Properties of Finite Systems of Identity Relations; George F. McNulty, The Decision Problem for Equational Bases of Algebras; George F. McNulty, Undecidable Properties of Finite Sets of Equations. [REVIEW]S. Burris - 1982 - Journal of Symbolic Logic 47 (4):903-904.
Ralph N. McKenzie, George F. McNulty, and Walter F. Taylor. Algebras, lattices, varieties. Volume I. The Wadsworth & Brooks/Cole mathematics series. Wadsworth & Brooks/Cole Advanced Books & Software, Monterey, Calif., 1987, xii + 361 pp. [REVIEW]Joel Berman - 1992 - Journal of Symbolic Logic 57 (1):266-268.
Some characterization theorems for infinitary universal Horn logic without equality.Pilar Dellunde & Ramon Jansana - 1996 - Journal of Symbolic Logic 61 (4):1242-1260.
Some characterization theorems for infinitary universal horn logic without equality.Pilar Dellunde & Ramon Jansana - 1996 - Journal of Symbolic Logic 61 (4):1242-1260.
Embedding first order predicate logic in fragments of intuitionistic logic.M. H. Löb - 1976 - Journal of Symbolic Logic 41 (4):705-718.
Investigations on Fragments of First Order Branching Temporal Logic.Franco Montagna, G. Michele Pinna & B. P. Tiezzi - 2002 - Mathematical Logic Quarterly 48 (1):51-62.
One-Variable Fragments of First-Order Logics.Petr Cintula, George Metcalfe & Naomi Tokuda - forthcoming - Bulletin of Symbolic Logic:1-23.
Inexpressiveness of First-Order Fragments.William C. Purdy - 2006 - Australasian Journal of Logic 4 (5):1-12.

Analytics

Added to PP
2009-01-28

Downloads
245 (#85,466)

6 months
15 (#233,546)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Reduced products of logical matrices.Janusz Czelakowski - 1980 - Studia Logica 39 (1):19 - 43.
A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.
Johan van Benthem on Logic and Information Dynamics.Alexandru Baltag & Sonja Smets (eds.) - 2014 - Cham, Switzerland: Springer International Publishing.

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Annals of Mathematical Logic: Announcement of a New Periodical.[author unknown] - 1969 - Journal of Symbolic Logic 34 (3):532-532.
Horn sentences.Fred Galvin - 1970 - Annals of Mathematical Logic 1 (4):389.

Add more references