Proof Theory for First Order Lukasiewicz Logic.

Matthias Baaz, George Metcalfe

Browse the full TABLEAUX paper archive.