Recursive Inseparability in Linear Logic.

Stål Aanderaa Herman Ruge Jervell

Published in: CSL (1992)

Keyphrases

linear logic
fixed point
sequent calculus
logic programming
proof theoretic
desirable properties
logical framework
proof search
cut elimination
intuitionistic logic
description logics
video sequences
machine learning
high level
state space