Obsessional Experiments For Linear Logic Proof-Nets.

Lorenzo Tortora de Falco

Published in: Math. Struct. Comput. Sci. (2003)

Keyphrases

linear logic
proof search
fixed point
cut elimination
proof theoretic
intuitionistic logic
desirable properties
sequent calculus
logical framework
logic programming
natural deduction
artificial intelligence
dynamical systems
inference rules
nonmonotonic reasoning