Linear logic with idempotent exponential modalities: a note.

Published in: CoRR (2014)

Keyphrases

linear logic
fixed point
sequent calculus
logic programming
logical framework
cut elimination
proof search
proof theoretic
desirable properties
inference rules
intuitionistic logic
probability distribution
machine learning
knowledge base
logic programs
temporal information