A Sequent Calculus for Reasoning in Four-Valued Description Logics.

Umberto Straccia

Browse the full TABLEAUX paper archive.