Sémantique formelle: Volume 1 : Introduction à la grammaire de Montague (Record no. 43355)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03072naaaa2200373uu 4500 |
| 001 - CONTROL NUMBER | |
| control field | https://directory.doabooks.org/handle/20.500.12854/38912 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | zenodo.1000504 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9781977891549 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.5281/zenodo.1000504 |
| Terms of availability | doi |
| 041 0# - LANGUAGE CODE | |
| Language code of text/sound track or separate title | French |
| 042 ## - AUTHENTICATION CODE | |
| Authentication code | dc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | CF |
| Source | bicssc |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Roussarie, Laurent |
| Relationship | auth |
| 245 10 - TITLE STATEMENT | |
| Title | Sémantique formelle: Volume 1 : Introduction à la grammaire de Montague |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Name of publisher, distributor, etc. | Language Science Press |
| Date of publication, distribution, etc. | 2017 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 electronic resource (498 p.) |
| 506 0# - RESTRICTIONS ON ACCESS NOTE | |
| Terms governing access | Open Access |
| Source of term | star |
| Standardized terminology for access restriction | Unrestricted online access |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | "For nearly half a century formal semantics has been a prominent area in linguistic theory, developed in a fruitful collaboration among linguists, logicians and philosophers. Formal semantics is sometimes regarded with reluctance (even dreaded) due to its mathematical precision and the apparent complexity of its symbolism. This textbook —the first one of this scope in French— provides a relaxed self-contained introduction to the domain, allowing the reader autonomous progressive study from the basic central concepts to significant innovations that have shaped the domain since Montague’s seminal work. Through its chapters, the book provides acquaintance with elements of scientific methodology generally used in formal semantics. The six chapters, completed with solved exercises, gradually move from basic notions in logic and model-theoretic semantics, to quantification, temporal and modal logic, intensionality, and typed λ-calculus, culminating in compositional semantic analysis at the syntax-semantics interface. This introduction will be supplemented with a second volume that would focus on applications and advances in the field which extend the scope of the formalism. The book is intended for linguistics undergraduate and postgraduate students and researchers wishing to improve their skills in formal semantics, as well as for students and researchers of other domains, such as philosophy, logic, or computational science." |
| 540 ## - TERMS GOVERNING USE AND REPRODUCTION NOTE | |
| Terms governing use and reproduction | Creative Commons |
| Use and reproduction rights | https://creativecommons.org/licenses/by/4.0/ |
| Source of term | cc |
| -- | https://creativecommons.org/licenses/by/4.0/ |
| 546 ## - LANGUAGE NOTE | |
| Language note | French |
| 650 #7 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | linguistics |
| Source of heading or term | bicssc |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | intensionality |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | temporal and modal logic |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | syntax-semantics interface |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | formal semantics |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | logic and model-theoretic semantics |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | textbook |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | compositional semantic analysis |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | λ-calculus |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Host name | www.oapen.org |
| Uniform Resource Identifier | <a href="https://library.oapen.org/bitstream/20.500.12657/30841/1/641735.pdf">https://library.oapen.org/bitstream/20.500.12657/30841/1/641735.pdf</a> |
| Access status | 0 |
| Public note | DOAB: download the publication |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Host name | www.oapen.org |
| Uniform Resource Identifier | <a href="https://library.oapen.org/bitstream/20.500.12657/30841/1/641735.pdf">https://library.oapen.org/bitstream/20.500.12657/30841/1/641735.pdf</a> |
| Access status | 0 |
| Public note | DOAB: download the publication |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Host name | www.oapen.org |
| Uniform Resource Identifier | <a href="https://library.oapen.org/bitstream/20.500.12657/30841/1/641735.pdf">https://library.oapen.org/bitstream/20.500.12657/30841/1/641735.pdf</a> |
| Access status | 0 |
| Public note | DOAB: download the publication |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Host name | www.oapen.org |
| Uniform Resource Identifier | <a href="https://directory.doabooks.org/handle/20.500.12854/38912">https://directory.doabooks.org/handle/20.500.12854/38912</a> |
| Access status | 0 |
| Public note | DOAB: description of the publication |
No items available.