Remarks on Special Lattices and Related Constructive Logics with Strong Negation.

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

Keyphrases

logic programs
closely related
expressive power
modal logic
neural network
real time
knowledge base
search algorithm
knowledge representation
logic programming
inference rules