Polymorphism and the obstinate circularity of second order logic: a victims' tale.

Published in: CoRR (2017)

Keyphrases

higher order
logic programming
multi valued
real time
modal logic
logical framework
classical logic
proof theory
databases
genetic algorithm
relational databases
high order
automated reasoning
nonmonotonic logics
formal theory