Inference for Annotated Logics over Distributive Lattices.

James J. Lu, Neil V. Murray, Heydar Radjavi, Erik Rosenthal, Peter Rosenthal

Browse the full ISMIS paper archive.