Predicativity, the Russell-Myhill Paradox, and Church's Intensional Logic.

Published in: J. Philos. Log. (2016)

Keyphrases

higher order
modal logic
classical logic
data sets
learning algorithm
relational databases
query evaluation
set theory
databases
artificial intelligence
information systems
logic programming
automated reasoning
proof theory
delay insensitive