Free three-valued Closure Lukasiewicz Algebras.

Manuel Abad José Patricio Díaz Varela Laura A. Rueda Ana Maria Suardíaz

Published in: Reports Math. Log. (2007)

Keyphrases

information retrieval
computer vision
modal logic
information systems
knowledge base
inference rules