Denotesx
Denotesx is a formal framework and notation for representing the denotation of expressions across linguistics, philosophy of language, and computer science. It treats the denotation of an expression as a typed value in a designated interpretation domain and provides compositional rules for building complex denotations from simpler ones. The framework is designed to be implementable in software while remaining suitable for theoretical analysis.
Core idea and syntax: In denotesx, every expression E has a denotation denoted as denotesx(E, context) within
Origins and scope: Denotesx emerged from discussions in formal semantics and type-theoretic programming communities as a
Applications: The framework is used for educational demonstrations of semantic composition, rapid prototyping of semantic parsers,
Example: denotesx("the cat", w) yields the unique individual in world w that is a cat if such
See also: denotational semantics, lambda calculus, Montague grammar, type theory.