Maximal Deductive Systems and Injective Objects in the Category of Hilbert Algebras.

Daniel Gluschankof Miguel Tilli

Published in: Math. Log. Q. (1988)

Keyphrases

management system
learning systems
intelligent systems
knowledge based systems
building blocks
information retrieval
computer vision
expert systems
distributed systems
clifford algebra