Definability of Leibniz equality

DOI10.1023/A:1005214714620zbMath0957.03040OpenAlexW1572222062MaRDI QIDQ1970645

Ramon Jansana, Raimon Elgueta

Publication date: 21 March 2000

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1005214714620

zbMATH Keywords

Leibniz equality of relational structures

Mathematics Subject Classification ID

Classical first-order logic (03B10) Properties of classes of models (03C52) Other infinitary logic (03C75) Basic properties of first-order languages and structures (03C07)

Related Items (5)

Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems ⋮ Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited ⋮ Characterization of protoalgebraic k-deductive systems ⋮ On the closure properties of the class of full G-models of a deductive system ⋮ Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems

This page was built for publication: Definability of Leibniz equality