Capturing k-ary existential second order logic with k-ary inclusion-exclusion logic.

Raine Rönnholm

Published in: Ann. Pure Appl. Log. (2018)

Keyphrases

classical logic
logic programming
multi valued
automated reasoning
neural network
information retrieval
artificial intelligence
higher order
data sets
modal logic
nonmonotonic logics