Login / Signup
Modelling Linear Logic Without Units (Preliminary Results).
Robin Houston
Dominic J. D. Hughes
Andrea Schalk
Published in:
CoRR (2005)
Keyphrases
</>
linear logic
sequent calculus
fixed point
logic programming
desirable properties
logical framework
cut elimination
proof theoretic
inference rules
proof search
intuitionistic logic
multi agent
multi view