The Strong Completeness of a System Based on Kleene's Strong Three-Valued Logic.

Published in: Notre Dame J. Formal Log. (1994)

Keyphrases

real time
data sets
real world
information retrieval
logic programming
database
high level
data structure
learning environment
knowledge representation
description logics