Compositional Semantics

Denotation function µ decomposes over operations so meaning of compound expressions follows from meanings of parts

Neighborhood — ranked by edge-count

paper

framework

Type Class Morphism (TCM)
supports
Principle that the instance's meaning follows the meaning's instance; every TCM failure indicates an abstraction leak.

community

concept

Frege Compositionality
associated_with
Formal linguistic principle: meaning of a whole depends only on meanings of parts and how they are fitted together (bottom-up meaning flow).
Semantic Type Class Morphism (TCM)
implements

cosine ≥ 0.65 · no typed edge

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

Compositional Reasoningconcept0.843
Modular reasoning enabled by monoid and other algebraic laws; central to maintainability and correctness of functional systems.
Compositionalityconcept0.833
Central concept: how meaning of wholes depends on meanings of parts and their structural arrangement; multiple formulations explored (Frege, Schrödinger, Whitehead, LEGO).
What is compositionality?question0.823
Primary guiding question for the paper; explores multiple formulations and uses of the term.
compositional AIconcept0.810
Artificial intelligence built on compositional principles, including NLP and beyond
compositionconcept0.801
The wiring together of processes to form new processes in process theory
Denotational Semanticsconcept0.795
Formal modeling approach used throughout Fruit to provide mathematical meaning to GUI abstractions; enables reasoning about program properties.
Complete Compositionalityframework0.789
Strongest form of compositional theory requiring full decomposability and meaningful parts.
Compositional reasoning beyond Aristotle?question0.774
Secondary research question examining whether compositional frameworks can transcend classical logic.