Login / Signup
Syllogisms in Rudimentary Linear Logic, Diagrammatically
Ruggero Pagnan
Published in:
CoRR (2013)
Keyphrases
</>
linear logic
fixed point
sequent calculus
cut elimination
logic programming
desirable properties
proof search
proof theoretic
logical framework
intuitionistic logic
higher order