An abstract approach to stratification in linear logic.

Pierre Boudes Damiano Mazza Lorenzo Tortora de Falco

Published in: Inf. Comput. (2015)

Keyphrases

linear logic
fixed point
sequent calculus
logic programming
logical framework
desirable properties
intuitionistic logic
proof theoretic
cut elimination
proof search
general purpose
high level
inference rules
utility function
higher order
expert systems
image segmentation
database