On Non-Alethic Logic.

Celina A. A. P. Abar M. Yamashita

Published in: IPMU (1994)

Keyphrases

modal logic
classical logic
predicate logic
data model
logic programming
multi valued
machine learning
learning algorithm
information systems
knowledge base
similarity measure
data structure
logic programs
asynchronous circuits
sound and complete axiomatization