Keyword:admissible rules

Publications
A Syntactic Characterization of the Gabbay-de Jongh Logics Jeroen Goudsmit In:TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic
Complexity of Admissible Rules in the Implication-Negation Fragment of Intuitionistic Logic Petr Cintula and George Metcalfe In:LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.