Proof nets for display logic

Published in: CoRR (2007)

Keyphrases

recursive programs
logic programs
logic programming
real time
theorem proving
classical logic
multi touch
artificial intelligence
knowledge representation
linear logic
display devices