Tableau vs. Sequent Calculi for Minimal Entailment.

Olaf Beyersdorff Leroy Chew

Published in: CoRR (2014)

Keyphrases

sequent calculi
description logics
logic programming
probabilistic logic
np complete
expert systems
model checking
cut elimination