Characterizing classes defined with equality
From MaRDI portal
Publication:1368911
DOI10.1023/A:1004978316495zbMath0902.03018MaRDI QIDQ1368911
Publication date: 3 December 1998
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1004978316495
semantics; Birkhoff-type theorems; first order languages without equality; full classes; Leibniz equality; reduced classes
Related Items
Algebraic Characterizations for Universal Fragments of Logic, Freeness in classes without equality, Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems, Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties, First order logic without equality on relativized semantics, Lattices of theories in languages without equality, On the closure properties of the class of full G-models of a deductive system, Categorical abstract algebraic logic: Partially ordered algebraic systems, Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors, Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems