Adjoint Natural Deduction (Extended Version).

Junyoung Jang Sophia Roshal Frank Pfenning Brigitte Pientka

Published in: CoRR (2024)

Keyphrases

natural deduction
inference rules
theorem prover
theorem proving
optimal control
cut elimination
probabilistic model
linear logic
intuitionistic logic