Definability of Leibniz equality

DOI10.1023/A:1005214714620MaRDI QIDQ1970645zbMATH OpenOpenAlexFDO

Authors 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) Basic properties of first-order languages and structures (03C07) Properties of classes of models (03C52) Other infinitary logic (03C75)

Cited in

(5)

• 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
• Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited
• Characterization of protoalgebraic \(k\)-deductive systems
• Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems

This page was built for publication: Definability of Leibniz equality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1970645)