Multi-sorted logic, models, and logical geometry.

DOI10.1007/S10958-016-2811-4MaRDI QIDQ289767zbMATHOpenAlexFDO

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)

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) 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)

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.

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

Cites work

• scientific article; zbMATH DE number 3164639 (Why is no real title available?)
• scientific article; zbMATH DE number 521219 (Why is no real title available?)
• scientific article; zbMATH DE number 2174397 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Algebraic geometry in first-order logic
• Algebraic logic and logical geometry in arbitrary varieties of algebras
• Algebraic logic and logically-geometric types in varieties of algebras
• An introduction to quasigroups and their representations.
• Automorphisms of categories of free algebras of varieties
• Categories of Elementary Sets over Algebras and Categories of Elementary Algebraic Knowledge
• Geometrical aspect of databases and knowledge bases.
• Halmos algebras and axiomatizable classes of quasi-groups
• Isotypeness of models and knowledge bases equivalence
• Model Theory
• Multi-sorted logic and logical geometry: some problems.
• Types of points and algebras
• Varieties of algebras and algebraic varieties. Categories of algebraic varieties

Cited in

(5)

• Syntax versus semantics in knowledge bases II
• Multi-sorted logic and logical geometry: some problems.
• Logically-geometrical similarity for algebras and models with the same identities
• Logics for multi-subset spaces
• Geometric view on homogeneous groups

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)