Cyclic proofs, system t, and the power of contraction.

Denis Kuperberg Laureline Pinault Damien Pous

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

power consumption
neural network
information systems
theorem proving
real time
theorem prover
formal proof
artificial neural networks
knowledge representation
belief change
natural deduction