Untyping Typed Algebraic Structures and Colouring Proof Nets of Cyclic Linear Logic.

Published in: CSL (2010)

Keyphrases

linear logic
algebraic structures
proof search
partially ordered sets
inductive inference
proof theoretic
sequent calculus
logic programming
higher order
cut elimination
intuitionistic logic
desirable properties
fixed point
natural deduction
inference rules
logical framework
knowledge base
computational complexity