Algebraic Proof Theory for LE-logics.

Giuseppe Greco Peter Jipsen Fei Liang Alessandra Palmigiano Apostolos Tzimoulis

Published in: ACM Trans. Comput. Log. (2024)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
decision making
expert systems
constraint satisfaction
constraint propagation