Foundations and applications of Montague grammar: 1 Philosophy, framework, computer science
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
CWI
1986
|
| Schriftenreihe: | Centrum voor Wiskunde en Informatica, Amsterdam: CWI tract
19 |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IV, 205 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV004723831 | ||
| 003 | DE-604 | ||
| 005 | 20221004 | ||
| 007 | t | ||
| 008 | 920224s1986 d||| |||| 00||| engod | ||
| 035 | |a (OCoLC)310857268 | ||
| 035 | |a (DE-599)BVBBV004723831 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-19 |a DE-188 | ||
| 100 | 1 | |a Janssen, Theo M. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Foundations and applications of Montague grammar |n 1 |p Philosophy, framework, computer science |c T. M. V. Janssen |
| 264 | 1 | |a Amsterdam |b CWI |c 1986 | |
| 300 | |a IV, 205 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Centrum voor Wiskunde en Informatica, Amsterdam: CWI tract |v 19 | |
| 490 | 0 | |a Centrum voor Wiskunde en Informatica <Amsterdam>: CWI Tract |v ... | |
| 773 | 0 | 8 | |w (DE-604)BV004723830 |g 1 |
| 830 | 0 | |a Centrum voor Wiskunde en Informatica, Amsterdam: CWI tract |v 19 |w (DE-604)BV001902011 |9 19 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002903832&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-002903832 | ||
Datensatz im Suchindex
| _version_ | 1804118841523961856 |
|---|---|
| adam_text | iii
CONTENTS
I. The principle of compositionality of meaning 1
1. An attractive principle 2
2. Frege and the principle 5
2.1. Introduction 5
2.2. Grundlagen 6
2.3. Sinn und Bedeutung 8
2.4. The principle 9
2.5. Conclusion 11
3. Towards a formalization 11
4. An algebraic framework 17
5. Meanings 28
5.1. Introduction 28
5.2. Natural language 29
5.3. Programming Language 29
5.4. Predicate Logic 30
5.5. Strategy 34
5.6. Substitutional Interpretation 34
6. Motivation 35
II. The algebraic framework 41
1. Introduction 42
2. Algebras and subalgebras 43
3. Algebras for syntax 50
4. Polynomials 56
5. Term algebras 61
6. Homomorphisms 67
7. A safe deriver 75
8. Montague grammar 81
9. Discussion 90
III. Intensional logic 95
. Two facets 96
1.1. Introduction 96
1.2. Model part I 96
1.3. Model part II 98
1.4. Laws 98
1.5. Method 99
2. Two sorted type theory 100
3. The interpretation of Ty2 103
4. Properties of Ty2 106
5. Intensional Logic 113
6. Properties of IL 117
7. Extension and intension 123
iv
IV Montague grammar and programming languages 127
1. Assignment statements ]28
1.1. Introduction 128
1.2. Simple assignments 129
1.3. Other assignments 131
2. Semantics of programs 133
2.1. Why? 133
2.2. How? 135
3. Predicate transformers 137
3.1. Floyd s forward predicate transformer 137
3.2. Hoare s backward predicate transformer 139
3.3. Problems with Floyd s rule 139
3.4. Predicate transformers as meanings 141
4. Semantical Considerations 144
4.1. The model 144
4.2. The logic 148
4.3. Theorems 150
5. First fragment 152
5.1. The rules 152
5.2. Examples 154
6. Pointers and arrays 156
6.1. Pointers 156
6.2. Arrays 158
7. Second fragment 161
7.1. The rules 161
7.2. The postulates 164
7.3. A model 166
8. Correctness and completeness 168
8.1. State transition semantics 168
8.2. Strongest postconditions 169
8.3. Completeness 172
9. The backward approach 176
9.1. Problems with Hoare s rule 176
9.2. Backward predicate transformers 177
9.3. Weakest preconditions 178
9.4. Strongest and weakest 179
9.5. Correctness proof 182
10. Mutual relevance 185
Appendix Safe and polynomial 189
Index of names 193
References 197
|
| any_adam_object | 1 |
| author | Janssen, Theo M. |
| author_facet | Janssen, Theo M. |
| author_role | aut |
| author_sort | Janssen, Theo M. |
| author_variant | t m j tm tmj |
| building | Verbundindex |
| bvnumber | BV004723831 |
| ctrlnum | (OCoLC)310857268 (DE-599)BVBBV004723831 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01278nam a2200301 cc4500</leader><controlfield tag="001">BV004723831</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221004 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">920224s1986 d||| |||| 00||| engod</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)310857268</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV004723831</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Janssen, Theo M.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations and applications of Montague grammar</subfield><subfield code="n">1</subfield><subfield code="p">Philosophy, framework, computer science</subfield><subfield code="c">T. M. V. Janssen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">CWI</subfield><subfield code="c">1986</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IV, 205 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Centrum voor Wiskunde en Informatica, Amsterdam: CWI tract</subfield><subfield code="v">19</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Centrum voor Wiskunde en Informatica <Amsterdam>: CWI Tract</subfield><subfield code="v">...</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV004723830</subfield><subfield code="g">1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Centrum voor Wiskunde en Informatica, Amsterdam: CWI tract</subfield><subfield code="v">19</subfield><subfield code="w">(DE-604)BV001902011</subfield><subfield code="9">19</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002903832&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-002903832</subfield></datafield></record></collection> |
| id | DE-604.BV004723831 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T16:16:42Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-002903832 |
| oclc_num | 310857268 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-19 DE-BY-UBM DE-188 |
| physical | IV, 205 S. graph. Darst. |
| publishDate | 1986 |
| publishDateSearch | 1986 |
| publishDateSort | 1986 |
| publisher | CWI |
| record_format | marc |
| series | Centrum voor Wiskunde en Informatica, Amsterdam: CWI tract |
| series2 | Centrum voor Wiskunde en Informatica, Amsterdam: CWI tract Centrum voor Wiskunde en Informatica <Amsterdam>: CWI Tract |
| spelling | Janssen, Theo M. Verfasser aut Foundations and applications of Montague grammar 1 Philosophy, framework, computer science T. M. V. Janssen Amsterdam CWI 1986 IV, 205 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Centrum voor Wiskunde en Informatica, Amsterdam: CWI tract 19 Centrum voor Wiskunde en Informatica <Amsterdam>: CWI Tract ... (DE-604)BV004723830 1 Centrum voor Wiskunde en Informatica, Amsterdam: CWI tract 19 (DE-604)BV001902011 19 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002903832&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Janssen, Theo M. Foundations and applications of Montague grammar Centrum voor Wiskunde en Informatica, Amsterdam: CWI tract |
| title | Foundations and applications of Montague grammar |
| title_auth | Foundations and applications of Montague grammar |
| title_exact_search | Foundations and applications of Montague grammar |
| title_full | Foundations and applications of Montague grammar 1 Philosophy, framework, computer science T. M. V. Janssen |
| title_fullStr | Foundations and applications of Montague grammar 1 Philosophy, framework, computer science T. M. V. Janssen |
| title_full_unstemmed | Foundations and applications of Montague grammar 1 Philosophy, framework, computer science T. M. V. Janssen |
| title_short | Foundations and applications of Montague grammar |
| title_sort | foundations and applications of montague grammar philosophy framework computer science |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=002903832&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV004723830 (DE-604)BV001902011 |
| work_keys_str_mv | AT janssentheom foundationsandapplicationsofmontaguegrammar1 |