Pages that link to "Item:Q4934882"

The following pages link to Equality-free logic: the method of diagrams and preservation theorems (Q4934882):

Displaying 11 items.

• Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems (Q854961) (← links)
• Categorical abstract algebraic logic: Ordered equational logic and algebraizable povarieties (Q878147) (← links)
• On elementary equivalence for equality-free logic (Q1355131) (← links)
• On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions (Q1652877) (← links)
• Categorical abstract algebraic logic: Partially ordered algebraic systems (Q2502179) (← links)
• The theory of finite models without equal sign (Q2508610) (← links)
• A preservation theorem for equality-free Horn sentences (Q2734543) (← links)
• On the Expressive Power of Equality-Free First Order Languages (Q3028987) (← links)
• Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors (Q3430283) (← links)
• Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems (Q3525204) (← links)
• MAXIMALITY OF LOGIC WITHOUT IDENTITY (Q6123583) (← links)