Algebraic Logic and Knowledge Bases

Elena Aladova, Boris Plotkin, Tatjana Plotkin

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review


Knowledge bases theory provides an important example of the field where applications of universal algebra and algebraic logic look very natural, and their interaction with practical problems arising in computer science might be very productive. In this paper we study the equivalence problem for knowledge bases. Our interest is to find out how the informational equivalence is related to the logical description of knowledge. The main objectives of this paper are logically-geometrically equivalent and LG-isotypic knowledge bases. We will see that these notions give us a good characterization of knowledge bases.

Original languageEnglish
Title of host publicationOutstanding Contributions to Logic
PublisherSpringer Science and Business Media B.V.
Number of pages23
StatePublished - 2021

Publication series

NameOutstanding Contributions to Logic
ISSN (Print)2211-2758
ISSN (Electronic)2211-2766

Bibliographical note

Publisher Copyright:
© 2021, Springer Nature Switzerland AG.


Acknowledgements Research of E. Aladova was partially supported by the Israel Science Foundation, grant No. 1623/16.

FundersFunder number
Israel Science Foundation1623/16


    • Algebraic logic
    • Category
    • Equivalence of knowledge bases
    • Equivalence of models
    • Galois correspondence
    • Halmos algebras
    • Knowledge base
    • Semantics
    • Syntax
    • Ultrafilter


    Dive into the research topics of 'Algebraic Logic and Knowledge Bases'. Together they form a unique fingerprint.

    Cite this