Search results

...10.1093/logcom/exi004}}</ref><ref>Cooper, Robin (2010). ''Type theory and semantics in flux''. ''Handbook of the Philosophy of Science. Volume 14: Philosophy o ...the corresponding field in the record type.<ref>R. Cooper. Type theory and language: From perception to linguistic communication. Draft of book chapters availa ...

...cyclopedia=The Oxford Handbook of Information Structure |title=Alternative semantics |year=2016 |pages=19–40 |publisher=Oxford University Press|doi=10.1093/oxfo * {{annotated link|Inquisitive semantics}} ...

{{Short description|Interpretation rule in formal semantics}} ...|author-link1=Irene Heim |author-link2=Angelika Kratzer |date=1998 |title=Semantics in Generative Grammar |publisher=Wiley Blackwell | location = Oxford|at=Cha ...

...ooper |first2=Robin |date=1981 |title= Generalized Quantifiers and Natural Language |journal=Linguistics and Philosophy |volume=4 |issue=2|pages=159–219 |doi=1 ...possible determiners which are not attested as [[denotation]]s of natural language expressions. For instance, consider the imaginary determiner <math>shmore</ ...

{{Short description|Phenomenon in natural language}} '''Free choice''' is a phenomenon in natural language where a linguistic [[disjunction]] appears to receive a logical [[logical c ...

{{Short description|Disjunction in formal semantics}} ...rst2=Jeroen |last3=Roelofsen |first3=Floris |year=2018 |title= Inquisitive semantics |doi=10.1093/oso/9780198814788.001.0001 |publisher= Oxford University Press ...

...outledge Companion to Philosophy of Language |title=Adjectives |url=http://semantics.uchicago.edu/kennedy/docs/routledge.pdf|year=2012 |publisher= Routledge}}</ {{Formal semantics}} ...

...k of [[alternative semantics]]. It has become one of the standard tools in formal work on focus, playing a key role in accounts of contrastive focus, [[ellip ...ate=1992 |title=A theory of focus interpretation |journal=Natural Language Semantics |volume=1 |issue=1 |pages=79–82 |doi=10.1007/BF02342617|s2cid=14108349 }}</ ...

{{Short description|Framework in logic and natural language semantics}} ...ts/MoL-2009-11.text.pdf |author=Ciardelli, I. |date=2009|title=Inquisitive semantics and intermediate logics. |work=Master Thesis, ILLC University of Amsterdam. ...

...=Dekker |editor-first2=Paul |encyclopedia=The Cambridge Handbook of Formal Semantics |title=Modification|year=2016 |pages=442–464 |publisher=Cambridge Universit ...urrent work tends to assume that the phenomenon of subsectivity is not a [[natural class]].<ref>{{cite book |last=Morzycki|first= Marcin|date=2016|title=Modif ...

...ast2=Dekker |editor-first2=Paul |encyclopedia=Cambridge Handbook of Formal Semantics |title=Conditionals |year=2016 |publisher=Cambridge University Press |isbn= ...hy)|similar]] to the world of evaluation. On a [[Boolean algebra|Boolean]] semantics for disjunction, <math>A \lor B</math> can hold at a world simply in virtue ...

...outledge Companion to Philosophy of Language |title=Adjectives |url=http://semantics.uchicago.edu/kennedy/docs/routledge.pdf|year=2012 |publisher= Routledge}}</ ...|author-link1=Irene Heim |author-link2=Angelika Kratzer |date=1998 |title=Semantics in Generative Grammar|publisher=Blackwell |pages=63–68 |isbn=0631197133}}</ ...

...e'' 39(4), 597-616.</ref> DCPSGs describe a superset of the [[Context-free language|context-free languages]], by means of rewrite rules that permit a limited a The rewrite semantics of DCPSG are identical as those of a CFG when the rule being used does not ...

...[natural language]] terms, the formula states that the following [[English language|English]] sentences are [[logically equivalent]]:<ref name="sider">{{cite b ...s of material implication]], which are commonly taken to show that natural language conditionals are not material implication.<ref name = "sepconditionallogic" ...

...t=Gamut |first=L. T. F. |author-link=L.T.F. Gamut |date=1991 |title=Logic, Language, and Meaning, Volume 2: Intensional Logic and Logical Grammar|publisher=Uni ...efined or introduced in the language. In the standard [[semantics of logic|semantics]] for [[propositional logic]], the logical connectives are treated syncateg ...

...owards English – it is not meant to function as an international auxiliary language. ...ed to better align with [[PropBank]]. Moreover, AMR has been extended with formal conventions for metadata and conventions for entity linking (here, linking ...

{{Short description|Framework in logic and natural language semantics}} ...Semantics |url=https://plato.stanford.edu/archives/win2016/entries/dynamic-semantics/ |access-date=2020-08-11 |year=2016}}</ref> ...

...d generating output – generally other trees, but models producing [[Formal language#Words over an alphabet|words]] or other structures exist. Roughly speaking, ...d of words enable TT to model syntax-directed transformations of formal or natural languages. However, TT are not as well-behaved as their word counterparts i ...

'''Pregroup grammar (PG)''' is a [[Formal grammar|grammar formalism]] intimately related to [[categorial grammar]]s. | journal = Journal of Logic, Language and Information ...

...ons and answers]]. Questions are a major area of research in the [[syntax-semantics interface]].{{sfn|Dayal|2017|p=1}} * Play as important of a role in semantics as they do in syntax. ...