The Undecidability of Second Order Linear Logic Without Exponentials.

Published in: J. Symb. Log. (1996)

Keyphrases

linear logic
sequent calculus
fixed point
higher order
logic programming
cut elimination
desirable properties
proof theoretic
logical framework
proof search
intuitionistic logic
description logics
probabilistic planning
high level
knowledge representation
inference rules