Proof System.

Michio Honda Tatsuya Hagino Etsuya Shibayama

Published in: The IOTA Programming System (1983)

Keyphrases

modal logic
clause learning
inference rules
logic programming
model checker
proof search
cut elimination
intuitionistic logic