Login / Signup
Analytic Natural Deduction.
Raymond M. Smullyan
Published in:
J. Symb. Log. (1965)
Keyphrases
</>
natural deduction
theorem prover
inference rules
theorem proving
sequent calculus
cut elimination
intuitionistic logic
linear logic
artificial intelligence
linear time temporal logic
high level
dynamical systems
automated reasoning