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

From MaRDI portal
Revision as of 01:47, 12 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Multi-sorted logic, models, and logical geometry.
scientific article

    Statements

    Multi-sorted logic, models, and logical geometry. (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    31 May 2016
    0 references
    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.
    0 references
    knowledge bases
    0 references
    multi-sorted logic
    0 references
    models
    0 references
    logical geometry
    0 references
    universal algebraic geometry
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references