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

Petr Cintula George Metcalfe

Published in: LPAR short papers(Yogyakarta) (2010)

Keyphrases

intuitionistic logic
linear logic
classical logic
horn clauses
logic programming
artificial intelligence
knowledge base
logic programs
natural deduction
proof theoretic