## An Algebraic Approach to Knowledge Bases Informational Equivalence

*Plotkin, B.*;

*Plotkin, T.*;

- 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

- References (14)
- Similar Research Results (4) publicationAlgebraic Logic, Varieties of Algebras and Algebraic Varieties (2003)91%publicationGeometrical equivalence, geometrical similarity and geometrical compatibility of algebras (2003)91%publicationProblems in algebra inspired by universal algebraic geometry (2004)91%publicationAlgebraic geometry in First Order Logic (2003)80%
- Metrics

Share - Bookmark

- Download from