Classical linear logic of implications.

Masahito Hasegawa

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

Keyphrases

linear logic
fixed point
sequent calculus
logical framework
proof theoretic
cut elimination
intuitionistic logic
proof search
logic programming
desirable properties
inference rules
graph cuts
temporal reasoning