Equality-free logic: the method of diagrams and preservation theorems
From MaRDI portal
Publication:4934882
DOI10.1093/jigpal/7.6.717zbMath0942.03044OpenAlexW2095721721MaRDI QIDQ4934882
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
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