Studia Logica 63 (2):223-243 (1999)
Given a structure for a first-order language L, two objects of its domain can be indiscernible relative to the properties expressible in L, without using the equality symbol, and without actually being the same. It is this relation that interests us in this paper. It is called Leibniz equality. In the paper we study systematically the problem of its definibility mainly for classes of structures that are the models of some equality-free universal Horn class in an infinitary language Lκκ, where κ is an infinite regular cardinal.
|Keywords||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
On the Closure Properties of the Class of Full G-Models of a Deductive System.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2006 - Studia Logica 83 (1-3):215-278.
Relation Formulas for Protoalgebraic Equality Free Quasivarieties; Pałasińska's Theorem Revisited.Anvar M. Nurakunov & Michał M. Stronkowski - 2013 - Studia Logica 101 (4):827-847.
Categorical Abstract Algebraic Logic: The Diagram and the Reduction Operator Lemmas.George Voutsadakis - 2007 - Mathematical Logic Quarterly 53 (2):147-161.
Similar books and articles
On Adding (Ξ) to Weak Equality in Combinatory Logic.Martin W. Bunder, J. Roger Hindley & Jonathan P. Seldin - 1989 - Journal of Symbolic Logic 54 (2):590-607.
Equality of Opportunity and Complex Equality: The Special Place of Schooling. [REVIEW]Harry Brighouse - 2007 - Res Publica 13 (2):147-158.
Freeness in Classes Without Equality.Raimon Elgueta - 1999 - Journal of Symbolic Logic 64 (3):1159-1194.
Characterization Classes Defined Without Equality.R. Elgueta - 1997 - Studia Logica 58 (3):357-394.
Added to index2009-01-28
Total downloads30 ( #172,861 of 2,177,988 )
Recent downloads (6 months)1 ( #317,698 of 2,177,988 )
How can I increase my downloads?