Login / Signup
Natural Deduction for Intuitionistic Euler-Venn Diagrams.
Sven Linker
Published in:
Diagrams (2021)
Keyphrases
</>
natural deduction
theorem prover
inference rules
cut elimination
theorem proving
linear logic
sequent calculus
differential equations
intuitionistic logic
linear time temporal logic
training data
probability distribution
description logics
automated reasoning
logical framework
hand drawn