Login / Signup
Linear Logic without Units
Robin Houston
Published in:
CoRR (2013)
Keyphrases
</>
linear logic
logic programming
fixed point
proof theoretic
desirable properties
sequent calculus
proof search
cut elimination
logical framework
intuitionistic logic
knowledge base
pairwise
general purpose
inference rules