The Judgement Calculus for Intuitionistic Linear Logic: Proof Theory and Semantics.

Silvio Valentini

Published in: Math. Log. Q. (1992)

Keyphrases

linear logic
proof theoretic
cut elimination
sequent calculus
proof search
proof theory
fixed point
logical framework
logic programming
intuitionistic logic
inference rules
default reasoning
natural deduction
software engineering
integrity constraints
automated reasoning