Categorical Proof Theory of Co-Intuitionistic Linear Logic.

Gianluigi Bellin

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

Keyphrases

linear logic
proof theoretic
proof theory
cut elimination
default reasoning
fixed point
sequent calculus
intuitionistic logic
logical framework
attribute values
logic programming
automated reasoning
desirable properties
proof search
artificial intelligence
answer set programming