A Correspondence between Maximal Abelian Sub-Algebras and Linear Logic Fragments.

Published in: CoRR (2014)

Keyphrases

linear logic
logic programming
sequent calculus
fixed point
cut elimination
intuitionistic logic
desirable properties
logical framework
proof search
inference rules
proof theoretic
machine learning
relational databases
state space
image matching