DEL-sequents for progression.

Guillaume Aucher

Published in: J. Appl. Non Class. Logics (2011)

Keyphrases

linear logic
sequent calculus
inference rules
fixed point
logic programming
modal logic
logical framework
database
real time
artificial intelligence
search engine
decision trees
software engineering
natural deduction