Tableau vs. Sequent Calculi for Minimal Entailment.

Olaf Beyersdorff Leroy Chew

Published in: Electron. Colloquium Comput. Complex. (2014)

Keyphrases

sequent calculi
description logics
np complete
conditional logic
logic programming
artificial intelligence
general purpose
cut elimination