A semantic account of strong normalization in linear logic.

Daniel de Carvalho Lorenzo Tortora de Falco

Published in: Inf. Comput. (2016)

Keyphrases

linear logic
proof theoretic
high level
desirable properties
fixed point
intuitionistic logic
logical framework
semantic web
sequent calculus
natural language
semantic information
logic programming
cut elimination
state space
probabilistic reasoning
image segmentation
knowledge base
machine learning