Login / Signup
First-order natural deduction in Agda.
Louis Warren
Published in:
CoRR (2021)
Keyphrases
</>
natural deduction
first order logic
theorem prover
inference rules
theorem proving
higher order
cut elimination
intuitionistic logic
sequent calculus
logical theories
linear logic
horn clauses
probability distribution
logic programs
fixed point
automated reasoning