linTAP: A Tableau Prover for Linear Logic.

Heiko Mantel Jens Otten

Published in: TABLEAUX (1999)

Keyphrases

proof search
linear logic
fixed point
sequent calculus
logic programming
proof theoretic
cut elimination
desirable properties
logical framework
intuitionistic logic
sufficient conditions
inference rules
theorem proving
high level