A Many-Sorted Natural Deduction.

Alessandro Cimatti Fausto Giunchiglia Richard W. Weyhrauch

Published in: Comput. Intell. (1998)

Keyphrases

natural deduction
inference rules
theorem prover
sequent calculus
cut elimination
theorem proving
intuitionistic logic
linear time temporal logic
linear logic
probabilistic model
desirable properties