Characterizing Belnap's Logic via De Morgan's Laws.

Alexej P. Pynko

Published in: Math. Log. Q. (1995)

Keyphrases

classical logic
modal logic
neural network
logic programming
multi valued
proof theory
real time
asynchronous circuits
genetic algorithm
computer vision
information systems
decision making
case study
multiscale
evolutionary algorithm