Modal Auxiliaries and Negation: A Type-Logical Account.

Yusuke Kubota Robert Levine

Published in: WoLLIC (2019)

Keyphrases

neural network
logical structure
data sets
logic programming
modal logic
logic programs
truth values
data mining
computer vision
search algorithm
logical reasoning