Encoding Linear Logic with Interaction Combinators.

Ian Mackie Jorge Sousa Pinto

Published in: Inf. Comput. (2002)

Keyphrases

linear logic
fixed point
logical framework
logic programming
sequent calculus
cut elimination
proof search
inference rules
proof theoretic
artificial intelligence
relational databases
data model
model checking
desirable properties
reasoning tasks