An Algebraic Approach to Knowledge Bases Informational Equivalence

Preprint English OPEN
Plotkin, B.; Plotkin, T.;
(2003)
  • Subject: Mathematics - General Mathematics | Mathematics - Category Theory | 08A70, 03G99,16B70,03C05

In this paper we study the notion of knowledge from the positions of universal algebra and algebraic logic. We consider first order knowledge which is based on first order logic. We define categories of knowledge and knowledge bases. These notions are defined for the fi... View more
Share - Bookmark