Some remarks on cyclic linear logic.

François Métayer

Published in: Electron. Notes Theor. Comput. Sci. (1996)

Keyphrases

linear logic
proof theoretic
fixed point
logic programming
intuitionistic logic
cut elimination
proof search
sequent calculus
desirable properties
logical framework
inference rules
database
dynamical systems
multi attribute
post processing
general purpose
multi agent