✦ LIBER ✦

Algebraic logic and logical geometry. Two in one

✍ Scribed by B. Plotkin

Book ID: 120896703
Publisher: Allerton Press, Inc.
Year: 2013
Tongue: English
Weight: 213 KB
Volume: 46
Category: Article
ISSN: 1063-4541
DOI: 10.3103/S1063454113010081

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algebraic geometry in first-order logic

✍ B. Plotkin 📂 Article 📅 2006 🏛 Springer US 🌐 English ⚖ 504 KB

Logic, Tradition, Truth in Algebra, and

Logic, Tradition, Truth in Algebra, and Inferences for Geometry

✍ Kenneth A. Retzer 📂 Article 📅 1984 🏛 School Science and Mathematics Association 🌐 English ⚖ 266 KB

Quantum logic, state space geometry and

Quantum logic, state space geometry and operator algebras

✍ L. J. Bunce; J. D. Maitland Wright 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 314 KB

Algebraic and logical geometries of univ

Algebraic and logical geometries of universal algebras (a unified approach)

✍ A. G. Pinus 📂 Article 📅 2012 🏛 Springer US 🌐 English ⚖ 187 KB

Algebraic Geometry over Groups II. Logic

Algebraic Geometry over Groups II. Logical Foundations

✍ Alexei Myasnikov; Vladimir Remeslennikov 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 302 KB

The object of this paper, which is the second in a series of three, is to lay the logical foundations of the algebraic geometry over groups. Exploiting links between the algebraic geometry over groups and model theory we solve two problems on geometrical equivalence of groups which are due to B. Plo

ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC

ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS

✍ PLOTKIN, BORIS; ALADOVA, ELENA; PLOTKIN, EUGENE 📂 Article 📅 2012 🏛 World Scientific Publishing Company 🌐 English ⚖ 345 KB