Dual-Belnap Logic and Anything but Falsehood.

Yaroslav Shramko

Published in: FLAP (2019)

Keyphrases

modal logic
logic programming
multi valued
classical logic
real time
logical framework
proof theory
neural network
data mining
genetic algorithm
search engine
evolutionary algorithm
primal dual
probabilistic logic
abductive reasoning
coalition logic