Capturing k-ary Existential Second Order Logic with k-ary Inclusion-Exclusion Logic.

Raine Rönnholm

Published in: CoRR (2015)

Keyphrases

multi valued
logic programming
modal logic
classical logic
machine learning
computational properties
asynchronous circuits
higher order
predicate logic
website
decision trees
integrity constraints
automated reasoning
nonmonotonic logics
proof theory