Focused Linear Logic and the λ-calculus.

Taus Brock-Nannestad Nicolas Guenot

Published in: MFPS (2015)

Keyphrases

linear logic
sequent calculus
cut elimination
proof search
proof theoretic
natural deduction
fixed point
inference rules
desirable properties
logical framework
logic programming
intuitionistic logic
probability distribution
artificial intelligence
expert systems
modal logic