Saturated Formulas in Full Linear Logic.

Maurizio Castellan Mario Piazza

Published in: J. Log. Comput. (1998)

Keyphrases

linear logic
fixed point
cut elimination
desirable properties
logical framework
sequent calculus
proof search
proof theoretic
logic programming
intuitionistic logic
machine learning
multi agent
state space
inference rules
horn clauses