Unified correspondence and proof theory for strict implication.

Minghui Ma Zhiguang Zhao

Published in: J. Log. Comput. (2017)

Keyphrases

proof theory
default reasoning
automated reasoning
proof theoretic
reasoning problems
belief revision
decision procedures
machine learning
learning algorithm
data types
expressive power
probabilistic reasoning