Pages that link to "Item:Q4264538"
From MaRDI portal
The following pages link to Algebraic Characterizations for Universal Fragments of Logic (Q4264538):
Displaying 7 items.
- Categorical abstract algebraic logic: Leibniz equality and homomorphism theorems (Q854961) (← links)
- A general method of axiomatizing fragments (Q1176090) (← links)
- Local characterization theorems for some classes of structures (Q2707243) (← links)
- Categorical abstract algebraic logic: The Diagram and the Reduction Operator Lemmas (Q3437039) (← links)
- Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems (Q3525204) (← links)
- (Q4335229) (← links)
- Some applications of infinitary logical languages in universal algebra (Q5416021) (← links)