Reformulation of Explanation by Linear Logic: Toward Logic for Explanation.

Jun Arima Hajime Sawamura

Published in: ALT (1993)

Keyphrases

linear logic
abductive reasoning
cut elimination
proof theoretic
intuitionistic logic
desirable properties
sequent calculus
logic programming
fixed point
artificial intelligence
logical framework
proof search
causal reasoning