Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic.

Petr Cintula, George Metcalfe

Browse the full LPAR paper archive.