A Binary-Conclusion Natural Deduction System.

Ken-etsu Fujita

Published in: Log. J. IGPL (1999)

Keyphrases

natural deduction
inference rules
theorem prover
theorem proving
cut elimination
intuitionistic logic
sequent calculus
artificial intelligence
relational databases
functional dependencies
non binary
linear time temporal logic