Natural Deduction for Intuitionistic Non-communicative Linear Logic.

Jeff Polakow Frank Pfenning

Published in: TLCA (1999)

Keyphrases

linear logic
natural deduction
cut elimination
fixed point
sequent calculus
intuitionistic logic
logic programming
proof theoretic
desirable properties
inference rules
logical framework
proof search
linear time temporal logic
logic programs
probabilistic model
expert systems
high level