Goal-Directed Methods for Lukasiewicz Logic.

George Metcalfe, Nicola Olivetti, Dov M. Gabbay

Browse the full CSL paper archive.