Login / Signup
Two separation theorems for natural deduction.
Hugues Leblanc
Published in:
Notre Dame J. Formal Log. (1966)
Keyphrases
</>
natural deduction
sequent calculus
cut elimination
inference rules
theorem prover
intuitionistic logic
linear logic
linear time temporal logic
theorem proving
machine learning
proof theoretic
artificial intelligence
knowledge base
modal logic
desirable properties
proof search