The following pages link to (Q4508459):
Displaying 22 items.
- Multi-sorted logic and logical geometry: some problems. (Q895878) (← links)
- Algebraic geometry in first-order logic (Q1040258) (← links)
- Varieties of algebraic systems and propositional calculi (Q1080449) (← links)
- Algebraic geometry in varieties of algebras with the given algebra of constants (Q1592194) (← links)
- Automorphisms of the category of free Lie algebras (Q1770511) (← links)
- Plotkin's geometric equivalence, Mal'cev's closure, and incompressible nilpotent groups (Q2284614) (← links)
- Komori identities in algebraic logic (Q2752411) (← links)
- v*-ALGEBRAS, INDEPENDENCE ALGEBRAS AND LOGIC (Q3112588) (← links)
- (Q3607784) (← links)
- Geometrical equivalence of groups (Q4261253) (← links)
- (Q4291709) (← links)
- (Q4510742) (← links)
- Automorphisms of categories of free algebras of varieties (Q4547431) (← links)
- Logics of varieties, logics of semilattices and conjunction (Q4644494) (← links)
- ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS (Q4909150) (← links)
- Ideal Related Algebras and Their Logics Extended Abstract (Q5098744) (← links)
- Seven lectures on universal algebraic geometry (Q5239109) (← links)
- (Q5290994) (← links)
- (Q5599740) (← links)
- (Q5749292) (← links)
- Algebras inspired by logics (Q5954012) (← links)
- Residuated Structures in Algebra and Logic (Q6059121) (← links)
