Skolemization for Substructural Logics.

Petr Cintula, Denisa Diaconescu, George Metcalfe

Browse the full LPAR paper archive.