Jump to content

Template:Formal semantics

From Wikipedia, the free encyclopedia

Formal semantics (natural language)

Central concepts

Topics

Areas

Phenomena

Formalism

Formal systems	Alternative semantics Categorial grammar Combinatory categorial grammar Discourse representation theory (DRT) Dynamic semantics Generative grammar Glue semantics Inquisitive semantics Intensional logic Lambda calculus Mereology Montague grammar Segmented discourse representation theory (SDRT) Situation semantics Supervaluationism Type theory TTR
Concepts	Autonomy of syntax Context set Continuation Conversational scoreboard Existential closure Function application Meaning postulate Monads Possible world Quantifier raising Quantization Question under discussion Semantic parsing Squiggle operator Strict conditional Type shifter Universal grinder

See also

Retrieved from "https://en.wikipedia.org/w/index.php?title=Template:Formal_semantics&oldid=1183678083"

Logic templates