Logics for linguistic structures /:
The contributions to this volume address central topics in theoretical and computational linguistics, such as quantification, types of context dependence and aspects concerning the formalisation of major grammatical frameworks. The volume will be of great benefit for theoretical and computational li...
Gespeichert in:
Weitere Verfasser: | , |
---|---|
Format: | Elektronisch E-Book |
Sprache: | English |
Veröffentlicht: |
Berlin ; New York :
Mouton de Gruyter,
©2008.
|
Schriftenreihe: | Trends in linguistics. Studies and monographs ;
201. |
Schlagworte: | |
Online-Zugang: | Volltext |
Zusammenfassung: | The contributions to this volume address central topics in theoretical and computational linguistics, such as quantification, types of context dependence and aspects concerning the formalisation of major grammatical frameworks. The volume will be of great benefit for theoretical and computational linguists, and logicians. |
Beschreibung: | 1 online resource (180 pages) : illustrations |
Bibliographie: | Includes bibliographical references and index. |
ISBN: | 9783110211788 3110211785 9786611999582 6611999582 |
Internformat
MARC
LEADER | 00000cam a2200000Ma 4500 | ||
---|---|---|---|
001 | ZDB-4-EBA-ocn571536333 | ||
003 | OCoLC | ||
005 | 20241004212047.0 | ||
006 | m o d | ||
007 | cr cn||||||||| | ||
008 | 080724s2008 gw a ob 001 0 eng d | ||
010 | |z 2008032760 | ||
040 | |a CCO |b eng |e pn |c CCO |d E7B |d OCLCQ |d MEAUC |d CDX |d N$T |d IDEBK |d OCLCQ |d AUW |d OCLCF |d OCLCQ |d OCLCO |d YDXCP |d OCLCQ |d AZK |d LOA |d COCUF |d AGLDB |d MOR |d PIFAG |d OTZ |d OCLCQ |d DEGRU |d U3W |d OCLCA |d STF |d WRM |d OCLCQ |d VTS |d NRAMU |d REC |d VT2 |d OCLCQ |d WYU |d ICG |d AU@ |d LEAUB |d UKAHL |d OCLCQ |d VLY |d AJS |d QGK |d OCLCO |d DST |d OCLCO |d OCLCQ |d OCLCO |d OCLCL |d OCLCQ | ||
019 | |a 317922120 |a 403920832 |a 503441352 |a 646796406 |a 961565229 |a 962627378 |a 966258654 |a 988480217 |a 991921248 |a 994996473 |a 1037926601 |a 1038584947 |a 1045454219 |a 1058061896 |a 1065037078 |a 1077252792 |a 1137140136 |a 1162213760 |a 1241913365 |a 1290038630 |a 1300627636 |a 1303357479 | ||
020 | |a 9783110211788 |q (electronic bk.) | ||
020 | |a 3110211785 |q (electronic bk.) | ||
020 | |z 311020469X |q (hardcover ; |q alk. paper) | ||
020 | |z 9783110204698 |q (hardcover ; |q alk. paper) | ||
020 | |a 9786611999582 | ||
020 | |a 6611999582 | ||
024 | 7 | |a 10.1515/9783110211788 |2 doi | |
035 | |a (OCoLC)571536333 |z (OCoLC)317922120 |z (OCoLC)403920832 |z (OCoLC)503441352 |z (OCoLC)646796406 |z (OCoLC)961565229 |z (OCoLC)962627378 |z (OCoLC)966258654 |z (OCoLC)988480217 |z (OCoLC)991921248 |z (OCoLC)994996473 |z (OCoLC)1037926601 |z (OCoLC)1038584947 |z (OCoLC)1045454219 |z (OCoLC)1058061896 |z (OCoLC)1065037078 |z (OCoLC)1077252792 |z (OCoLC)1137140136 |z (OCoLC)1162213760 |z (OCoLC)1241913365 |z (OCoLC)1290038630 |z (OCoLC)1300627636 |z (OCoLC)1303357479 | ||
050 | 4 | |a P39 |b .L5995 2008eb | |
072 | 7 | |a LAN |x 000000 |2 bisacsh | |
082 | 7 | |a 401 |2 22 | |
049 | |a MAIN | ||
245 | 0 | 0 | |a Logics for linguistic structures / |c edited by Fritz Hamm, Stephan Kepser. |
260 | |a Berlin ; |a New York : |b Mouton de Gruyter, |c ©2008. | ||
300 | |a 1 online resource (180 pages) : |b illustrations | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
490 | 1 | |a Trends in linguistics. Studies and monographs ; |v 201 | |
504 | |a Includes bibliographical references and index. | ||
588 | 0 | |a Print version record. | |
505 | 0 | |a Type theory with records and unification-based grammar / Robin Cooper -- One-letter automata : how to reduce k tapes to one / Hristo Ganchev, Stoyan Mihov, and Klaus U. Schulz -- Two aspects of situated meaning / Eleni Kalyvianaki and Yiannis N. Moschovakis -- Further excursions in natural logic : the mid-point theorems / Edward L. Keenan -- On the logic of LGB type structures : multidominance structures / Marcus Kracht -- Completeness theorems for syllogistic fragments / Lawrence S. Moss. | |
520 | |a The contributions to this volume address central topics in theoretical and computational linguistics, such as quantification, types of context dependence and aspects concerning the formalisation of major grammatical frameworks. The volume will be of great benefit for theoretical and computational linguists, and logicians. | ||
546 | |a English. | ||
650 | 0 | |a Computational linguistics. |0 http://id.loc.gov/authorities/subjects/sh85077224 | |
650 | 0 | |a Language and logic. | |
650 | 6 | |a Linguistique informatique. | |
650 | 6 | |a Langage et logique. | |
650 | 7 | |a computational linguistics. |2 aat | |
650 | 7 | |a LANGUAGE ARTS & DISCIPLINES |x General. |2 bisacsh | |
650 | 7 | |a Computational linguistics |2 fast | |
650 | 7 | |a Language and logic |2 fast | |
655 | 0 | |a Computer network resources. | |
655 | 4 | |a Computer network resources. | |
700 | 1 | |a Hamm, Fritz, |d 1953- |1 https://id.oclc.org/worldcat/entity/E39PBJjHkkQ3BGWtXBqRKrq4v3 |0 http://id.loc.gov/authorities/names/n88003080 | |
700 | 1 | |a Kepser, Stephan, |d 1967- |1 https://id.oclc.org/worldcat/entity/E39PCjFvTKJWYxh7VfPyDcHDdP |0 http://id.loc.gov/authorities/names/n2005081570 | |
776 | 0 | 8 | |i Print version: |t Logics for linguistic structures. |d Berlin ; New York : Mouton de Gruyter, ©2008 |w (DLC) 2008032760 |
830 | 0 | |a Trends in linguistics. |p Studies and monographs ; |v 201. |0 http://id.loc.gov/authorities/names/n42025149 | |
856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=274384 |3 Volltext |
938 | |a Askews and Holts Library Services |b ASKH |n AH25308492 | ||
938 | |a Coutts Information Services |b COUT |n 9747207 | ||
938 | |a De Gruyter |b DEGR |n 9783110211788 | ||
938 | |a ebrary |b EBRY |n ebr10275832 | ||
938 | |a EBSCOhost |b EBSC |n 274384 | ||
938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 199958 | ||
938 | |a YBP Library Services |b YANK |n 2997562 | ||
994 | |a 92 |b GEBAY | ||
912 | |a ZDB-4-EBA | ||
049 | |a DE-863 |
Datensatz im Suchindex
DE-BY-FWS_katkey | ZDB-4-EBA-ocn571536333 |
---|---|
_version_ | 1816881710529249280 |
adam_text | |
any_adam_object | |
author2 | Hamm, Fritz, 1953- Kepser, Stephan, 1967- |
author2_role | |
author2_variant | f h fh s k sk |
author_GND | http://id.loc.gov/authorities/names/n88003080 http://id.loc.gov/authorities/names/n2005081570 |
author_facet | Hamm, Fritz, 1953- Kepser, Stephan, 1967- |
author_sort | Hamm, Fritz, 1953- |
building | Verbundindex |
bvnumber | localFWS |
callnumber-first | P - Language and Literature |
callnumber-label | P39 |
callnumber-raw | P39 .L5995 2008eb |
callnumber-search | P39 .L5995 2008eb |
callnumber-sort | P 239 L5995 42008EB |
callnumber-subject | P - Philology and Linguistics |
collection | ZDB-4-EBA |
contents | Type theory with records and unification-based grammar / Robin Cooper -- One-letter automata : how to reduce k tapes to one / Hristo Ganchev, Stoyan Mihov, and Klaus U. Schulz -- Two aspects of situated meaning / Eleni Kalyvianaki and Yiannis N. Moschovakis -- Further excursions in natural logic : the mid-point theorems / Edward L. Keenan -- On the logic of LGB type structures : multidominance structures / Marcus Kracht -- Completeness theorems for syllogistic fragments / Lawrence S. Moss. |
ctrlnum | (OCoLC)571536333 |
dewey-full | 401 |
dewey-hundreds | 400 - Language |
dewey-ones | 401 - Philosophy and theory |
dewey-raw | 401 |
dewey-search | 401 |
dewey-sort | 3401 |
dewey-tens | 400 - Language |
discipline | Sprachwissenschaft |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04641cam a2200697Ma 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn571536333</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">080724s2008 gw a ob 001 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2008032760</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">CCO</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">CCO</subfield><subfield code="d">E7B</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">MEAUC</subfield><subfield code="d">CDX</subfield><subfield code="d">N$T</subfield><subfield code="d">IDEBK</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AUW</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">YDXCP</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AZK</subfield><subfield code="d">LOA</subfield><subfield code="d">COCUF</subfield><subfield code="d">AGLDB</subfield><subfield code="d">MOR</subfield><subfield code="d">PIFAG</subfield><subfield code="d">OTZ</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">DEGRU</subfield><subfield code="d">U3W</subfield><subfield code="d">OCLCA</subfield><subfield code="d">STF</subfield><subfield code="d">WRM</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">NRAMU</subfield><subfield code="d">REC</subfield><subfield code="d">VT2</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">WYU</subfield><subfield code="d">ICG</subfield><subfield code="d">AU@</subfield><subfield code="d">LEAUB</subfield><subfield code="d">UKAHL</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VLY</subfield><subfield code="d">AJS</subfield><subfield code="d">QGK</subfield><subfield code="d">OCLCO</subfield><subfield code="d">DST</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCL</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">317922120</subfield><subfield code="a">403920832</subfield><subfield code="a">503441352</subfield><subfield code="a">646796406</subfield><subfield code="a">961565229</subfield><subfield code="a">962627378</subfield><subfield code="a">966258654</subfield><subfield code="a">988480217</subfield><subfield code="a">991921248</subfield><subfield code="a">994996473</subfield><subfield code="a">1037926601</subfield><subfield code="a">1038584947</subfield><subfield code="a">1045454219</subfield><subfield code="a">1058061896</subfield><subfield code="a">1065037078</subfield><subfield code="a">1077252792</subfield><subfield code="a">1137140136</subfield><subfield code="a">1162213760</subfield><subfield code="a">1241913365</subfield><subfield code="a">1290038630</subfield><subfield code="a">1300627636</subfield><subfield code="a">1303357479</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783110211788</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3110211785</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">311020469X</subfield><subfield code="q">(hardcover ;</subfield><subfield code="q">alk. paper)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9783110204698</subfield><subfield code="q">(hardcover ;</subfield><subfield code="q">alk. paper)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786611999582</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6611999582</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1515/9783110211788</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)571536333</subfield><subfield code="z">(OCoLC)317922120</subfield><subfield code="z">(OCoLC)403920832</subfield><subfield code="z">(OCoLC)503441352</subfield><subfield code="z">(OCoLC)646796406</subfield><subfield code="z">(OCoLC)961565229</subfield><subfield code="z">(OCoLC)962627378</subfield><subfield code="z">(OCoLC)966258654</subfield><subfield code="z">(OCoLC)988480217</subfield><subfield code="z">(OCoLC)991921248</subfield><subfield code="z">(OCoLC)994996473</subfield><subfield code="z">(OCoLC)1037926601</subfield><subfield code="z">(OCoLC)1038584947</subfield><subfield code="z">(OCoLC)1045454219</subfield><subfield code="z">(OCoLC)1058061896</subfield><subfield code="z">(OCoLC)1065037078</subfield><subfield code="z">(OCoLC)1077252792</subfield><subfield code="z">(OCoLC)1137140136</subfield><subfield code="z">(OCoLC)1162213760</subfield><subfield code="z">(OCoLC)1241913365</subfield><subfield code="z">(OCoLC)1290038630</subfield><subfield code="z">(OCoLC)1300627636</subfield><subfield code="z">(OCoLC)1303357479</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">P39</subfield><subfield code="b">.L5995 2008eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">LAN</subfield><subfield code="x">000000</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">401</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Logics for linguistic structures /</subfield><subfield code="c">edited by Fritz Hamm, Stephan Kepser.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Berlin ;</subfield><subfield code="a">New York :</subfield><subfield code="b">Mouton de Gruyter,</subfield><subfield code="c">©2008.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (180 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Trends in linguistics. Studies and monographs ;</subfield><subfield code="v">201</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="505" ind1="0" ind2=" "><subfield code="a">Type theory with records and unification-based grammar / Robin Cooper -- One-letter automata : how to reduce k tapes to one / Hristo Ganchev, Stoyan Mihov, and Klaus U. Schulz -- Two aspects of situated meaning / Eleni Kalyvianaki and Yiannis N. Moschovakis -- Further excursions in natural logic : the mid-point theorems / Edward L. Keenan -- On the logic of LGB type structures : multidominance structures / Marcus Kracht -- Completeness theorems for syllogistic fragments / Lawrence S. Moss.</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The contributions to this volume address central topics in theoretical and computational linguistics, such as quantification, types of context dependence and aspects concerning the formalisation of major grammatical frameworks. The volume will be of great benefit for theoretical and computational linguists, and logicians.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computational linguistics.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh85077224</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Language and logic.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Linguistique informatique.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Langage et logique.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">computational linguistics.</subfield><subfield code="2">aat</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">LANGUAGE ARTS & DISCIPLINES</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computational linguistics</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Language and logic</subfield><subfield code="2">fast</subfield></datafield><datafield tag="655" ind1=" " ind2="0"><subfield code="a">Computer network resources.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Computer network resources.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hamm, Fritz,</subfield><subfield code="d">1953-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PBJjHkkQ3BGWtXBqRKrq4v3</subfield><subfield code="0">http://id.loc.gov/authorities/names/n88003080</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kepser, Stephan,</subfield><subfield code="d">1967-</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjFvTKJWYxh7VfPyDcHDdP</subfield><subfield code="0">http://id.loc.gov/authorities/names/n2005081570</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="t">Logics for linguistic structures.</subfield><subfield code="d">Berlin ; New York : Mouton de Gruyter, ©2008</subfield><subfield code="w">(DLC) 2008032760</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Trends in linguistics.</subfield><subfield code="p">Studies and monographs ;</subfield><subfield code="v">201.</subfield><subfield code="0">http://id.loc.gov/authorities/names/n42025149</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=274384</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Askews and Holts Library Services</subfield><subfield code="b">ASKH</subfield><subfield code="n">AH25308492</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Coutts Information Services</subfield><subfield code="b">COUT</subfield><subfield code="n">9747207</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">De Gruyter</subfield><subfield code="b">DEGR</subfield><subfield code="n">9783110211788</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10275832</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">274384</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">199958</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2997562</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
genre | Computer network resources. |
genre_facet | Computer network resources. |
id | ZDB-4-EBA-ocn571536333 |
illustrated | Illustrated |
indexdate | 2024-11-27T13:17:03Z |
institution | BVB |
isbn | 9783110211788 3110211785 9786611999582 6611999582 |
language | English |
oclc_num | 571536333 |
open_access_boolean | |
owner | MAIN DE-863 DE-BY-FWS |
owner_facet | MAIN DE-863 DE-BY-FWS |
physical | 1 online resource (180 pages) : illustrations |
psigel | ZDB-4-EBA |
publishDate | 2008 |
publishDateSearch | 2008 |
publishDateSort | 2008 |
publisher | Mouton de Gruyter, |
record_format | marc |
series | Trends in linguistics. Studies and monographs ; |
series2 | Trends in linguistics. Studies and monographs ; |
spelling | Logics for linguistic structures / edited by Fritz Hamm, Stephan Kepser. Berlin ; New York : Mouton de Gruyter, ©2008. 1 online resource (180 pages) : illustrations text txt rdacontent computer c rdamedia online resource cr rdacarrier Trends in linguistics. Studies and monographs ; 201 Includes bibliographical references and index. Print version record. Type theory with records and unification-based grammar / Robin Cooper -- One-letter automata : how to reduce k tapes to one / Hristo Ganchev, Stoyan Mihov, and Klaus U. Schulz -- Two aspects of situated meaning / Eleni Kalyvianaki and Yiannis N. Moschovakis -- Further excursions in natural logic : the mid-point theorems / Edward L. Keenan -- On the logic of LGB type structures : multidominance structures / Marcus Kracht -- Completeness theorems for syllogistic fragments / Lawrence S. Moss. The contributions to this volume address central topics in theoretical and computational linguistics, such as quantification, types of context dependence and aspects concerning the formalisation of major grammatical frameworks. The volume will be of great benefit for theoretical and computational linguists, and logicians. English. Computational linguistics. http://id.loc.gov/authorities/subjects/sh85077224 Language and logic. Linguistique informatique. Langage et logique. computational linguistics. aat LANGUAGE ARTS & DISCIPLINES General. bisacsh Computational linguistics fast Language and logic fast Computer network resources. Hamm, Fritz, 1953- https://id.oclc.org/worldcat/entity/E39PBJjHkkQ3BGWtXBqRKrq4v3 http://id.loc.gov/authorities/names/n88003080 Kepser, Stephan, 1967- https://id.oclc.org/worldcat/entity/E39PCjFvTKJWYxh7VfPyDcHDdP http://id.loc.gov/authorities/names/n2005081570 Print version: Logics for linguistic structures. Berlin ; New York : Mouton de Gruyter, ©2008 (DLC) 2008032760 Trends in linguistics. Studies and monographs ; 201. http://id.loc.gov/authorities/names/n42025149 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=274384 Volltext |
spellingShingle | Logics for linguistic structures / Trends in linguistics. Studies and monographs ; Type theory with records and unification-based grammar / Robin Cooper -- One-letter automata : how to reduce k tapes to one / Hristo Ganchev, Stoyan Mihov, and Klaus U. Schulz -- Two aspects of situated meaning / Eleni Kalyvianaki and Yiannis N. Moschovakis -- Further excursions in natural logic : the mid-point theorems / Edward L. Keenan -- On the logic of LGB type structures : multidominance structures / Marcus Kracht -- Completeness theorems for syllogistic fragments / Lawrence S. Moss. Computational linguistics. http://id.loc.gov/authorities/subjects/sh85077224 Language and logic. Linguistique informatique. Langage et logique. computational linguistics. aat LANGUAGE ARTS & DISCIPLINES General. bisacsh Computational linguistics fast Language and logic fast |
subject_GND | http://id.loc.gov/authorities/subjects/sh85077224 |
title | Logics for linguistic structures / |
title_auth | Logics for linguistic structures / |
title_exact_search | Logics for linguistic structures / |
title_full | Logics for linguistic structures / edited by Fritz Hamm, Stephan Kepser. |
title_fullStr | Logics for linguistic structures / edited by Fritz Hamm, Stephan Kepser. |
title_full_unstemmed | Logics for linguistic structures / edited by Fritz Hamm, Stephan Kepser. |
title_short | Logics for linguistic structures / |
title_sort | logics for linguistic structures |
topic | Computational linguistics. http://id.loc.gov/authorities/subjects/sh85077224 Language and logic. Linguistique informatique. Langage et logique. computational linguistics. aat LANGUAGE ARTS & DISCIPLINES General. bisacsh Computational linguistics fast Language and logic fast |
topic_facet | Computational linguistics. Language and logic. Linguistique informatique. Langage et logique. computational linguistics. LANGUAGE ARTS & DISCIPLINES General. Computational linguistics Language and logic Computer network resources. |
url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=274384 |
work_keys_str_mv | AT hammfritz logicsforlinguisticstructures AT kepserstephan logicsforlinguisticstructures |