'Sometime a paradox', now proof: Yablo is not first order.

Published in: Log. J. IGPL (2022)

Keyphrases

first order logic
theorem proving
theorem prover
classical first order logic
higher order
term rewriting
linear logic
stochastic dominance
neural network
proof planning
database
logic programming
similarity measure
website
horn clauses
proof theory
quantifier elimination