Signed Formulas: A Liftable Meta-Logic for Multiple-Valued Logics.

Neil V. Murray, Erik Rosenthal

Browse the full ISMIS paper archive.