Unified correspondence as a proof-theoretic tool.

Giuseppe Greco Minghui Ma Alessandra Palmigiano Apostolos Tzimoulis Zhiguang Zhao

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

Keyphrases

proof theoretic
default reasoning
proof theory
expert systems
linear logic
fixpoint