Pages that link to "Item:Q4981752"
From MaRDI portal
The following pages link to Algebraic logic and logical geometry in arbitrary varieties of algebras (Q4981752):
Displaying 8 items.
- Multi-sorted logic, models, and logical geometry. (Q289767) (← links)
- Multi-sorted logic and logical geometry: some problems. (Q895878) (← links)
- Topologies of pointwise convergence in the first order languages and in affine spaces (Q2046641) (← links)
- Isotypeness of models and knowledge bases equivalence (Q2254092) (← links)
- Syntax versus semantics in knowledge bases – I (Q4611332) (← links)
- Action of endomorphism semigroups on definable sets (Q4611342) (← links)
- Characterization of finitely generated groups by types (Q4611343) (← links)
- Syntax versus semantics in knowledge bases II (Q5239105) (← links)
