Multi-sorted logic, models, and logical geometry.

DOI10.1007/S10958-016-2811-4zbMATH Open1344.08006arXiv1506.06057OpenAlexW2963086803MaRDI QIDQ289767FDOQ289767

Authors: E. Aladova, B. Plotkin, T. Plotkin, A. Gvaramia 

Publication date: 31 May 2016

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

Abstract: Let $Theta$ be a variety of algebras, $(H,Psi,f)$ be a model, where $H$ is an algebra from $Theta$, $Psi$ is a set of relation symbols $varphi$, $f$ is an interpretation of all $varphi$ in $H$. Let $X^0$ be an infinite set of variables, $Gamma$ be a collection of all finite subsets in $X^0$ (collection of sorts), $widetildePhi$ be the multi-sorted algebra of formulas. These data define a knowledge base $KB(H,Psi,f)$. In the paper the notion of isomorphism of knowledge bases is considered. We give sufficient conditions which provide isomorphism of knowledge bases. We also study the problem of necessary and sufficient conditions for isomorphism of two knowledge bases.

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

Recommendations

• Multi-sorted logic and logical geometry: some problems.
• Geometrical aspect of databases and knowledge bases.
• Logically-geometrical similarity for algebras and models with the same identities
• Logically automorphically equivalent knowledge bases models
• Knowledge bases and automorphic equivalence of multi-models versus linear spaces and graphs

zbMATH Keywords

modelsuniversal algebraic geometryknowledge baseslogical geometrymulti-sorted logic

Mathematics Subject Classification ID

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

Cites Work

• Model Theory
• Title not available (Why is that?)
• Varieties of algebras and algebraic varieties. Categories of algebraic varieties
• An introduction to quasigroups and their representations.
• Title not available (Why is that?)
• Algebraic geometry in first-order logic
• Geometrical aspect of databases and knowledge bases.
• Isotypeness of models and knowledge bases equivalence
• Title not available (Why is that?)
• Halmos algebras and axiomatizable classes of quasi-groups
• Title not available (Why is that?)
• Automorphisms of categories of free algebras of varieties
• Types of points and algebras
• 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
• Multi-sorted logic and logical geometry: some problems.

Cited In (4)

• Geometric view on homogeneous groups
• Syntax versus semantics in knowledge bases II
• Title not available (Why is that?)
• Logics for multi-subset spaces

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q289767)