Combining Montague semantics and discourse representation
Identifieur interne : 001042 ( Istex/Curation ); précédent : 001041; suivant : 001043Combining Montague semantics and discourse representation
Auteurs : Reinhard Muskens [Pays-Bas]Source :
- Linguistics and Philosophy [ 0165-0157 ] ; 1996-04-01.
English descriptors
- Teeft :
- Abbreviation, Abhors, Active discourse referents, Anaphora, Anaphoric, Anaphoric dependencies, Anaphoric relationships, Anonymous referee, Antecedent, Atomic condition, Axiom, Benthem, Binary relation, Boolean, Boolean hypothesis, Boolean theory, Calculus, Certain terms, Change semantics, Classical type logic, Compositional, Conj, Constant discourse referents, Constant registers, Construction algorithm, Dependent elements, Determiner, Discourse, Discourse markers, Discourse referent, Discourse referents, Discourse representation, Discourse representation theory, Discourse representations, Donkey, Dordrecht, Dynamic logic, Dynamic montague grammar, Elementary logic, Embedding, Entailment, External anchor, Formalism, Further prospects, Future research, Generalised, Generalised form, Generalized quantifiers, Grammar, Groenendijk, Important role, Indefinite determiner, Indefinite noun phrase, Individual constants, Individual variables, Input embedding, Input state, Interpretation strategy, Kamp, Lambda, Lambda conversions, Little text, Logic, Logical expressions, Modal logic, Montague, Montague grammar, Montague semantics, Muskens, Natural deduction system, Natural language, Natural language semantics, Next section, Ninth amsterdam colloquium, Node, Noun, Noun phrases, Object language, Open formula, Ordinary type logic, Other hand, Other words, Philosophical logic, Phonological form, Precondition, Predicate, Predicate logic, Pronoun, Proper name, Proper names, Quantifier, Referent, Reinhard, Reinhard muskens, Relational composition, Relative pronoun, Relativization, Reyle, Same category, Same type, Scope ambiguities, Semantic theory, Semantic values, Semantics, Sequencing, Sequencing operator, Small fragment, Specific discourse referents, Stokhof, Such expressions, Such structures, Tarski definition, Theorem prover, Total assignments, Total function, Translation, Truth conditions, Type logic, Unselective binding, Unspecific, Unspecific discourse referent, Unspecific discourse referents, Unspecific referent, Unspecific referents, Variable registers, Various authors, Weakest precondition, Weakest precondition calculus.
Url:
DOI: 10.1007/BF00635836
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: Pour aller vers cette notice dans l'étape Curation :001126
Links to Exploration step
ISTEX:A4C921523FB05A236B42E7745DED9355DFB3BDA3Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Combining Montague semantics and discourse representation</title>
<author><name sortKey="Muskens, Reinhard" sort="Muskens, Reinhard" uniqKey="Muskens R" first="Reinhard" last="Muskens">Reinhard Muskens</name>
<affiliation><mods:affiliation>Department of Linguistics, Tilburg University, P.O. Box 90153, 5000, LE Tilburg</mods:affiliation>
<wicri:noCountry code="subField">Tilburg</wicri:noCountry>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>E-mail: R.A.Muskens@kub.nl</mods:affiliation>
<country wicri:rule="url">Pays-Bas</country>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:A4C921523FB05A236B42E7745DED9355DFB3BDA3</idno>
<date when="1996" year="1996">1996</date>
<idno type="doi">10.1007/BF00635836</idno>
<idno type="url">https://api.istex.fr/document/A4C921523FB05A236B42E7745DED9355DFB3BDA3/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">001126</idno>
<idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001126</idno>
<idno type="wicri:Area/Istex/Curation">001042</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Combining Montague semantics and discourse representation</title>
<author><name sortKey="Muskens, Reinhard" sort="Muskens, Reinhard" uniqKey="Muskens R" first="Reinhard" last="Muskens">Reinhard Muskens</name>
<affiliation><mods:affiliation>Department of Linguistics, Tilburg University, P.O. Box 90153, 5000, LE Tilburg</mods:affiliation>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>E-mail: R.A.Muskens@kub.nl</mods:affiliation>
<country wicri:rule="url">Pays-Bas</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="j">Linguistics and Philosophy</title>
<title level="j" type="abbrev">Linguist Philos</title>
<idno type="ISSN">0165-0157</idno>
<idno type="eISSN">1573-0549</idno>
<imprint><publisher>Kluwer Academic Publishers; gopher://gopher.wkap.nl/</publisher>
<pubPlace>Dordrecht</pubPlace>
<date type="published" when="1996-04-01">1996-04-01</date>
<biblScope unit="volume">19</biblScope>
<biblScope unit="issue">2</biblScope>
<biblScope unit="page" from="143">143</biblScope>
<biblScope unit="page" to="186">186</biblScope>
</imprint>
<idno type="ISSN">0165-0157</idno>
</series>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0165-0157</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass><keywords scheme="Teeft" xml:lang="en"><term>Abbreviation</term>
<term>Abhors</term>
<term>Active discourse referents</term>
<term>Anaphora</term>
<term>Anaphoric</term>
<term>Anaphoric dependencies</term>
<term>Anaphoric relationships</term>
<term>Anonymous referee</term>
<term>Antecedent</term>
<term>Atomic condition</term>
<term>Axiom</term>
<term>Benthem</term>
<term>Binary relation</term>
<term>Boolean</term>
<term>Boolean hypothesis</term>
<term>Boolean theory</term>
<term>Calculus</term>
<term>Certain terms</term>
<term>Change semantics</term>
<term>Classical type logic</term>
<term>Compositional</term>
<term>Conj</term>
<term>Constant discourse referents</term>
<term>Constant registers</term>
<term>Construction algorithm</term>
<term>Dependent elements</term>
<term>Determiner</term>
<term>Discourse</term>
<term>Discourse markers</term>
<term>Discourse referent</term>
<term>Discourse referents</term>
<term>Discourse representation</term>
<term>Discourse representation theory</term>
<term>Discourse representations</term>
<term>Donkey</term>
<term>Dordrecht</term>
<term>Dynamic logic</term>
<term>Dynamic montague grammar</term>
<term>Elementary logic</term>
<term>Embedding</term>
<term>Entailment</term>
<term>External anchor</term>
<term>Formalism</term>
<term>Further prospects</term>
<term>Future research</term>
<term>Generalised</term>
<term>Generalised form</term>
<term>Generalized quantifiers</term>
<term>Grammar</term>
<term>Groenendijk</term>
<term>Important role</term>
<term>Indefinite determiner</term>
<term>Indefinite noun phrase</term>
<term>Individual constants</term>
<term>Individual variables</term>
<term>Input embedding</term>
<term>Input state</term>
<term>Interpretation strategy</term>
<term>Kamp</term>
<term>Lambda</term>
<term>Lambda conversions</term>
<term>Little text</term>
<term>Logic</term>
<term>Logical expressions</term>
<term>Modal logic</term>
<term>Montague</term>
<term>Montague grammar</term>
<term>Montague semantics</term>
<term>Muskens</term>
<term>Natural deduction system</term>
<term>Natural language</term>
<term>Natural language semantics</term>
<term>Next section</term>
<term>Ninth amsterdam colloquium</term>
<term>Node</term>
<term>Noun</term>
<term>Noun phrases</term>
<term>Object language</term>
<term>Open formula</term>
<term>Ordinary type logic</term>
<term>Other hand</term>
<term>Other words</term>
<term>Philosophical logic</term>
<term>Phonological form</term>
<term>Precondition</term>
<term>Predicate</term>
<term>Predicate logic</term>
<term>Pronoun</term>
<term>Proper name</term>
<term>Proper names</term>
<term>Quantifier</term>
<term>Referent</term>
<term>Reinhard</term>
<term>Reinhard muskens</term>
<term>Relational composition</term>
<term>Relative pronoun</term>
<term>Relativization</term>
<term>Reyle</term>
<term>Same category</term>
<term>Same type</term>
<term>Scope ambiguities</term>
<term>Semantic theory</term>
<term>Semantic values</term>
<term>Semantics</term>
<term>Sequencing</term>
<term>Sequencing operator</term>
<term>Small fragment</term>
<term>Specific discourse referents</term>
<term>Stokhof</term>
<term>Such expressions</term>
<term>Such structures</term>
<term>Tarski definition</term>
<term>Theorem prover</term>
<term>Total assignments</term>
<term>Total function</term>
<term>Translation</term>
<term>Truth conditions</term>
<term>Type logic</term>
<term>Unselective binding</term>
<term>Unspecific</term>
<term>Unspecific discourse referent</term>
<term>Unspecific discourse referents</term>
<term>Unspecific referent</term>
<term>Unspecific referents</term>
<term>Variable registers</term>
<term>Various authors</term>
<term>Weakest precondition</term>
<term>Weakest precondition calculus</term>
</keywords>
</textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
</TEI>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Sarre/explor/MusicSarreV3/Data/Istex/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001042 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd -nk 001042 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Sarre |area= MusicSarreV3 |flux= Istex |étape= Curation |type= RBID |clé= ISTEX:A4C921523FB05A236B42E7745DED9355DFB3BDA3 |texte= Combining Montague semantics and discourse representation }}
This area was generated with Dilib version V0.6.33. |