Continuation semantics for the Lambek-Grishin calculus.

Raffaella Bernardi Michael Moortgat

Published in: Inf. Comput. (2010)

Keyphrases

formal language
algebraic structure
formal semantics
process algebra
logic programming
relational calculus
search engine
semantic information
computer algebra
proof theoretic
knowledge base
deductive databases
default reasoning