A coinductive approach to proof search through typed lambda-calculi.

José Espírito Santo Ralph Matthes Luís Pinto

Published in: Ann. Pure Appl. Log. (2021)

Keyphrases

proof search
lambda calculus
predicate calculus
proof procedure
theorem proving
theorem prover
linear logic
inference rules
proof planning
programming language
search procedure
fixed point
first order logic
higher order
semantic network
formal model
machine learning
automated reasoning