The Undecidability of Second Order Multiplicative Linear Logic.

Yves Lafont Andre Scedrov

Published in: Inf. Comput. (1996)

Keyphrases

linear logic
fixed point
sequent calculus
logical framework
cut elimination
proof theoretic
intuitionistic logic
higher order
description logics
logic programming
proof search
desirable properties
expert systems
machine learning
image segmentation
data model