A Matrix Characterization for Multiplicative Exponential Linear Logic.

Christoph Kreitz Heiko Mantel

Published in: J. Autom. Reason. (2004)

Keyphrases

linear logic
desirable properties
logic programming
fixed point
cut elimination
sequent calculus
proof theoretic
proof search
intuitionistic logic
machine learning
singular value decomposition
logical framework
update rule
object oriented
higher order