Algebraic logic and logical geometry in arbitrary varieties of algebras

zbMath1301.08011arXiv1205.6235MaRDI QIDQ4981752

Boris I. Plotkin

Publication date: 24 June 2014

Full work available at URL: https://arxiv.org/abs/1205.6235

zbMATH Keywords

definable setisotypic algebraselementary setlogical kernel of a pointlogically geometric typemodel-theoretic type

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Knowledge representation (68T30) Cylindric and polyadic algebras; relation algebras (03G15) Varieties (08B99)

Related Items (8)

Multi-sorted logic, models, and logical geometry. ⋮ Multi-sorted logic and logical geometry: some problems. ⋮ Syntax versus semantics in knowledge bases – I ⋮ Action of endomorphism semigroups on definable sets ⋮ Characterization of finitely generated groups by types ⋮ Isotypeness of models and knowledge bases equivalence ⋮ Topologies of pointwise convergence in the first order languages and in affine spaces ⋮ Syntax versus semantics in knowledge bases II

This page was built for publication: Algebraic logic and logical geometry in arbitrary varieties of algebras