A correspondence between maximal abelian sub-algebras and linear logic fragments.

Published in: Math. Struct. Comput. Sci. (2018)

Keyphrases

linear logic
fixed point
logic programming
logical framework
intuitionistic logic
proof theoretic
proof search
desirable properties
sequent calculus
artificial intelligence
cut elimination
inference rules