Algebraic geometry in first-order logic
From MaRDI portal
Publication:1040258
DOI10.1007/s10958-006-0288-2zbMath1181.03064arXivmath/0312485OpenAlexW2014581697MaRDI QIDQ1040258
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
first-order logicalgebraic logicalgebraic geometryvariety of algebrasalgebraic setsHalmos categories
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
This page was built for publication: Algebraic geometry in first-order logic