Abstract
In this paper we mainly deal with first-order languages without equality and introduce a weak form of equality predicate, the so-called Leibniz equality. This equality is characterized algebraically by means of a natural concept of congruence; in any structure, it turns out to be the maximum congruence of the structure. We show that first-order logic without equality has two distinct complete semantics (fll semantics and reduced semantics) related by the reduction operator. The last and main part of the paper contains a series of Birkhoff-style theorems characterizing certain classes of structures defined without equality, not only full classes but also reduced ones.
Similar content being viewed by others
References
W. Blok and D. Pigozzi, 1989, Algebraizable logics, Memoirs of the AMS 396, 78.
W. Blok and D. Pigozzi, 1992, Algebraic semantics for Universal Horn Logic without equality,in: in A. Romanowska, J.D. Smith (eds.), Universal Algebra and quasigroups, Heldermann Verlag Berlin, 1-56.
S. Burris and H.P. Sankappanavar, 1981, A course in Universal Algebra, Graduate Texts in Mathematics, Vol. 78 Springer-Verlag New York.
C.C. Chang and H.J. Keisler, 1990, Model Theory, (3rd edition), Studies in Logic and the Foundations of Mathemantics, Vol. 73, North-Holland Amsterdam.
J. Czelakowski, 1980, Reduced products of logical matrices, Studia Logica 39, 19-43.
J. Czelakowski, 1983, Some theorems on structural entailment relations Studia Logica 42, 417-430.
J. Czelakowski, 1994, Personal communication.
J. Czelakowski and W. Dziobiak, 1980, Another proof that ISPr is the least quasivariety containing K, Studia Logica 39, 343-345.
R. Elgueta, 1994, Algebraic Model Theory for Languages without Equality, PhD Thesis.
R. Elgueta, 1995, An Approach to the Algebraic Study of Equality-free Classes, preprint (submitted to Algebra Universalis).
R. Elgueta, 1996, Freeness in Classes Defined without Equality, preprint (submitted to JSL).
R. Elgueta and R. Jansana, 1995, Definability of Leibniz Equality, preprint (submitted to JSL).
G. GrÄtzer, 1979, Universal Algebra, (2nd edition), Springer-Verlag New York.
G. GrÄtzer and H. Lasker,1973, A note on the implicational class generated by a class of structures, Canadian Math. Bull. 16, 603-605.
A.I. Mal'cev, 1971, The metamathematics of algebraic systems, Collected Papers: 1936–1937, Studies in Logic and the Foundations of Mathematics, Vol. 66, North-Holland, Amsterdam.
A.I. Mal'cev, 1973, Algebraic Systems, Die Grundlehren der Mathematischen Wissenschaften, Band 152, Springer-Verlag Berlin.
W. Wechler, 1992, Universal Algebra for Computer Scientists, E.A.T.C.S. Monographs, Vol. 25, Springer-Verlag, New York.
G. Zubieta, 1957, Clases aritméticas definidas sin igualdad, Bol. Soc. Mat. Mexicana 2, 45-53.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Elgueta, R. Characterization Classes Defined without Equality. Studia Logica 58, 357–394 (1997). https://doi.org/10.1023/A:1004978316495
Issue Date:
DOI: https://doi.org/10.1023/A:1004978316495