Pages that link to "Item:Q4909150"
From MaRDI portal
The following pages link to ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS (Q4909150):
Displaying 15 items.
- Multi-sorted logic, models, and logical geometry. (Q289767) (← links)
- Algebraic logic and logical geometry. Two in one (Q357775) (← links)
- Multi-sorted logic and logical geometry: some problems. (Q895878) (← links)
- Isotypeness of models and knowledge bases equivalence (Q2254092) (← links)
- Universal algebraic geometry: syntax and semantics (Q2673104) (← links)
- Syntax versus semantics in knowledge bases – I (Q4611332) (← links)
- Action of endomorphism semigroups on definable sets (Q4611342) (← links)
- Types of points and algebras (Q4611348) (← links)
- Kernels in tropical geometry and a Jordan–Hölder theorem (Q4638601) (← links)
- (Q4691922) (← links)
- Algebraic Logic and Knowledge Bases (Q5015962) (← links)
- Logically automorphically equivalent knowledge bases models (Q5157754) (← links)
- Geometric view on homogeneous groups (Q5239104) (← links)
- Syntax versus semantics in knowledge bases II (Q5239105) (← links)
- On countable isotypic structures (Q6601471) (← links)
