Movatterモバイル変換

Jump to content

Template:Formal semantics

From Wikipedia, the free encyclopedia

v
t
e

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 Downward entailing Existential closure Function application Meaning postulate Monads Plural quantification Possible world Quantifier raising Quantization Question under discussion Semantic parsing Squiggle operator Strawson entailment Strict conditional Type shifter Universal grinder

See also

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

[8]ページ先頭

©2009-2026 Movatter.jp