Adjoint Natural Deduction.

Junyoung Jang Sophia Roshal Frank Pfenning Brigitte Pientka

Published in: FSCD (2024)

Keyphrases

natural deduction
optimal control
theorem prover
inference rules
sequent calculus
cut elimination
theorem proving
artificial intelligence
intuitionistic logic
lie group
linear logic
linear time temporal logic
machine learning
first order logic
control strategy
reinforcement learning
learning algorithm