Weak topologies for Linear Logic.

Published in: Log. Methods Comput. Sci. (2016)

Keyphrases

linear logic
fixed point
proof theoretic
logic programming
logical framework
cut elimination
intuitionistic logic
desirable properties
sequent calculus
general purpose
multi view
inference rules
proof search