Hostname: page-component-8448b6f56d-t5pn6 Total loading time: 0 Render date: 2024-04-23T07:07:11.974Z Has data issue: false hasContentIssue false
  • English
  • Français

Some characterization theorems for infinitary universal Horn logic without equality

Published online by Cambridge University Press:  12 March 2014

Pilar Dellunde  and
Ramon Jansana
Pilar Dellunde
Affiliation:
Area of Logic and Philosophy of Science, Universitat Autònoma de Barcelona, 08193 Bellaterra, Spain, E-mail: dellunde@cc.uab.es
Ramon Jansana
Affiliation:
Department of Logic, History and Philosophy of Science, Universitat de Barcelona, 08028 Barcelona, Spain, E-mail: jansana@cerber.ub.es
Get access Rights & Permissions [Opens in a new window]

Extract

In this paper we mainly study preservation theorems for two fragments of the infinitary languages Lκκ, with κ regular, without the equality symbol: the universal Horn fragment and the universal strict Horn fragment. In particular, when κ is ω, we obtain the corresponding theorems for the first-order case.

The universal Horn fragment of first-order logic (with equality) has been extensively studied; for references see [10], [7] and [8]. But the universal Horn fragment without equality, used frequently in logic programming, has received much less attention from the model theoretic point of view. At least to our knowledge, the problem of obtaining preservation results for it has not been studied before by model theorists. In spite of this, in the field of abstract algebraic logic we find a theorem which, properly translated, is a preservation result for the strict universal Horn fragment of infinitary languages without equality which, apart from function symbols, have only a unary relation symbol. This theorem is due to J. Czelakowski; see [5], Theorem 6.1, and [6], Theorem 5.1. A. Torrens [12] also has an unpublished result dealing with matrices of sequent calculi which, properly translated, is a preservation result for the strict universal Horn fragment of a first-order language. And in [2] of W. J. Blok and D. Pigozzi we find Corollary 6.3 which properly translated corresponds to our Corollary 19, but for the case of a first-order language that apart from its function symbols has only one κ-ary relation symbol, and for strict universal Horn sentences. The study of these results is the basis for the present work. In the last part of the paper, Section 4, we will make these connections clear and obtain some of these results from our theorems. In this way we hope to make clear two things: (1) The field of abstract algebraic logic can be seen, in part, as a disguised study of universal Horn logic without equality and so has an added interest. (2) A general study of universal Horn logic without equality from a model theoretic point of view can be of help in the field of abstract algebraic logic.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 61 , Issue 4 , December 1996 , pp. 1242 - 1260
Copyright
Copyright © Association for Symbolic Logic 1996

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Blok, W. J. and Pigozzi, D., Protoalgebraic logics, Studia Logica, vol. 45 (1986), pp. 337–369.CrossRefGoogle Scholar
[2]Blok, W. J. and Pigozzi, D., Algebraic semantics for universal Horn logic without equality, Universal algebra andquasi-groups (Romanowska, A. and Smith, J. D. H., editors), Heldermann Verlag, Berlin, 1992, pp. 1–56.Google Scholar
[3]Bloom, S. L., Some theorems on structural consequence operations, Studia Logica, vol. 34 (1975), pp. 1–9.CrossRefGoogle Scholar
[4]Chang, C. G. and Keisler, J., Model theory, North-Holland, Amsterdam, 1973.Google Scholar
[5]Czelakowski, J., Model-theoretic methods in methodology of prepositional calculi, The Polish Academy of Sciences Institute of Philosophy and Sociology, Warsawa, 1980.Google Scholar
[6]Czelakowski, J., Reduced products of logical matrices, Studia Logica, vol. 39 (1980), pp. 19–43.CrossRefGoogle Scholar
[7]Hodges, W., Logical features of Horn clauses, Handbook of logic in artificial intelligence and logic programming (Gabbay, D. M. and Hogger, C. J., editors), vol. 1, Clarendon Press, Oxford, 1993, pp. 449–503.CrossRefGoogle Scholar
[8]Hodges, W., Model theory, Cambridge University Press, Cambridge, 1993.CrossRefGoogle Scholar
[9]Hodges, W. and Shelah, S., Infinite games and reduced products, Annals of Mathematical Logic, vol. 20 (1981), pp. 77–108.CrossRefGoogle Scholar
[10]McNulty, G. F., Fragments of first order logic, I: Universal Horn logic, this Journal, vol. 42 (1977), pp. 221–237.Google Scholar
[11]Monk, J. D., Mathematical logic, Springer-Verlag, New York, 1976.CrossRefGoogle Scholar
[12]Torrens, A., Model theory for sequential deductive systems, preprint, 1992.Google Scholar