Unified Correspondence as a Proof-Theoretic Tool.

Giuseppe Greco Minghui Ma Alessandra Palmigiano Apostolos Tzimoulis Zhiguang Zhao

Published in: CoRR (2016)

Keyphrases

proof theoretic
proof theory
default reasoning
linear logic
database
high level
multi agent
fixpoint