Algebraic geometry in first-order logic

DOI10.1007/s10958-006-0288-2zbMath1181.03064arXivmath/0312485OpenAlexW2014581697MaRDI QIDQ1040258

Boris I. Plotkin

Publication date: 24 November 2009

Published in: Journal of Mathematical Sciences (New York) (Search for Journal in Brave)

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

zbMATH Keywords

first-order logicalgebraic logicalgebraic geometryvariety of algebrasalgebraic setsHalmos categories

Mathematics Subject Classification ID

Knowledge representation (68T30) Classical first-order logic (03B10) Algebraic logic (03G99) Varieties (08B99) Foundations of algebraic geometry (14A99)

Related Items (17)

Multi-sorted logic, models, and logical geometry. ⋮ Unnamed Item ⋮ Universal algebraic geometry: syntax and semantics ⋮ Multi-sorted logic and logical geometry: some problems. ⋮ Syntax versus semantics in knowledge bases – I ⋮ Action of endomorphism semigroups on definable sets ⋮ Types of points and algebras ⋮ Logically automorphically equivalent knowledge bases models ⋮ Logic in representations of groups ⋮ Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras ⋮ Computer theorem proving in mathematics ⋮ Topologies of pointwise convergence in the first order languages and in affine spaces ⋮ Isotyped algebras ⋮ Geometric view on homogeneous groups ⋮ Syntax versus semantics in knowledge bases II ⋮ Seven lectures on universal algebraic geometry ⋮ Algebraic Logic and Knowledge Bases

Cites Work

• Cylindric algebras. Part II
• Constraints and universal algebra
• Geometrical aspect of databases and knowledge bases.
• Coherence in closed categories
• Principles and Practice of Constraint Programming – CP 2003
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Algebraic geometry in first-order logic