A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic.

Paolo Tranquilli

Published in: CSL (2008)

Keyphrases

linear logic
correctness criterion
fixed point
desirable properties
proof theoretic
cut elimination
proof search
sequent calculus
high level
logic programming
semantic web
natural language
logical framework
intuitionistic logic
semantic information
general purpose
graphical models
database systems