A generalization of ACP using Belnap's logic.

Alban Ponse Mark van der Zwaag

Published in: J. Log. Algebraic Methods Program. (2007)

Keyphrases

predicate logic
logic programming
multi valued
order sorted
real time
information retrieval
relational databases
automated reasoning
formal theory
neural network
real world
learning algorithm
digital circuits
deontic logic
asynchronous circuits