Deflationism About Logic.

Christopher Blake-Turner

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

Keyphrases

logic programming
multi valued
predicate logic
modal logic
automated reasoning
proof theory
database
databases
classical logic
real time
data sets
neural network
computational properties
formal language
linear logic