Admissible rules in the implication-negation fragment of intuitionistic logic.

Petr Cintula George Metcalfe

Published in: Ann. Pure Appl. Log. (2010)

Keyphrases

intuitionistic logic
horn clauses
classical logic
linear logic
logic programming
natural deduction
proof theoretic
cut elimination
logic programs
high level
state space
normal form
deductive databases
inference rules
artificial intelligence
fixpoint
proof theory
web services