Refining Logic Theories under OI-Implication.

Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Giovanni Semeraro

Browse the full ISMIS paper archive.