On definability of the equality in classes of algebras with an equivalence relation

DOI10.1023/A:1005237627378zbMath0956.03053OpenAlexW2182510467MaRDI QIDQ1577361

Pilar Dellunde i Clavé

Publication date: 7 March 2001

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

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

zbMATH Keywords

model theoryalgebraizable logicsLeibniz congruenceequivalential logics

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Abstract deductive systems (03B22) Interpolation, preservation, definability (03C40)

Related Items (2)

Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems ⋮ Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems

This page was built for publication: On definability of the equality in classes of algebras with an equivalence relation