Equality-free logic: the method of diagrams and preservation theorems

DOI10.1093/jigpal/7.6.717zbMath0942.03044OpenAlexW2095721721MaRDI QIDQ4934882

Pilar Dellunde i Clavé

Publication date: 23 August 2000

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/7.6.717

zbMATH Keywords

preservation theoremsstrict homomorphismequality-free diagramsmodel theory of equality-free logic

Mathematics Subject Classification ID

Algebraic logic (03G99) Interpolation, preservation, definability (03C40) Basic properties of first-order languages and structures (03C07) Other classical first-order model theory (03C68)

Related Items

Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems ⋮ On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions ⋮ Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties ⋮ MAXIMALITY OF LOGIC WITHOUT IDENTITY ⋮ Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems ⋮ Categorical abstract algebraic logic: Partially ordered algebraic systems ⋮ Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors