Multi-sorted logic, models, and logical geometry.

DOI10.1007/S10958-016-2811-4zbMath1344.08006arXiv1506.06057OpenAlexW2963086803MaRDI QIDQ289767

A. Gvaramia, Boris I. Plotkin, Tatjana Plotkin, E. V. Aladova

Publication date: 31 May 2016

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

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

zbMATH Keywords

modelsuniversal algebraic geometryknowledge baseslogical geometrymulti-sorted logic

Mathematics Subject Classification ID

Knowledge representation (68T30) Applications of universal algebra in computer science (08A70) Other algebras related to logic (03G25) Logical aspects of Boolean algebras (03G05) Equational classes, universal algebra in model theory (03C05) Other classes of algebras (08C99)

Related Items (3)

Unnamed Item ⋮ Geometric view on homogeneous groups ⋮ Syntax versus semantics in knowledge bases II

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Multi-sorted logic and logical geometry: some problems.
• Algebraic geometry in first-order logic
• Geometrical aspect of databases and knowledge bases.
• Varieties of algebras and algebraic varieties. Categories of algebraic varieties
• Isotypeness of models and knowledge bases equivalence
• Halmos algebras and axiomatizable classes of quasi-groups
• Automorphisms of categories of free algebras of varieties
• Types of points and algebras
• Model Theory
• ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS
• Algebraic logic and logical geometry in arbitrary varieties of algebras
• Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge

This page was built for publication: Multi-sorted logic, models, and logical geometry.