Omega-Resolution: An Inference Rule for Regular Multiple-Valued Logics.

Sonia M. Leach, James J. Lu, Neil V. Murray, Erik Rosenthal

Browse the full JELIA paper archive.