A Modal View of Linear Logic.

Simone Martini Andrea Masini

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

Keyphrases

linear logic
fixed point
proof theoretic
desirable properties
logic programming
sequent calculus
cut elimination
proof search
intuitionistic logic
modal logic
artificial intelligence
multi agent
level set