Quantale semantics of Lambek calculus with subexponential modalities.

Published in: CoRR (2019)

Keyphrases

formal language
database query languages
algebraic structure
formal semantics
semantic information
logic programs
logic programming
relational calculus
computer algebra
proof theoretic
database systems
query language
relational algebra
cross modal
speech acts
model theoretic