Chu spaces as a semantic bridge between linear logic and mathematics.

Vaughan R. Pratt

Published in: Theor. Comput. Sci. (2003)

Keyphrases

linear logic
proof theoretic
cut elimination
logic programming
semantic information
fixed point
logical framework
sequent calculus
high level
semantic web
desirable properties
intuitionistic logic
natural language
computer science
proof search
object oriented