Effective Finite-Valued Semantics for Labelled Calculi.

Matthias Baaz, Ori Lahav, Anna Zamansky

Browse the full CADE paper archive.