Multi-sorted logic, models, and logical geometry. (Q289767)

Let \(\Theta\) be an arbitrary variety of algebras. A model \((H,\Psi,f)\) is considered as a subject area of knowledge, where \(H\) is an algebra in \(\Theta\), \(\Psi\) is a set of relation symbols, and \(f\) is an interpretation of each symbol \(\varphi\in\Psi\) in \(H\). The Cartesian power \(H^n\) is regarded as an affine space, and a subset \(A\subseteq H\) is presented as content of knowledge. Each content of knowledge corresponds to the so called description of knowledge which is a set of formulas \(T\subset\Phi(X)\), where \(X\) is a finite subset of an infinite set \(X^0\) of variables, and \(\Phi(X)\) is one of the domains of multi-sorted algebra of formulas. Using these notions, a knowledge base \(KB(H,\Psi,f)\) is defined. The authors say that ``the objective of the present paper is to study connections between isomorphisms of knowledge bases and isotypeness of subject areas of knowledge''. Sufficient conditions are given that provide isomorphism of knowledge bases.