LEADER 03082oam  22005173- 450 
001 9910251394303321
005 20231214145444.0
010   $a1-9778-9154-3
024 7 $a10.5281/zenodo.1000504
035   $a(CKB)4100000001587825
035   $a(OAPEN)641735
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/38912
035   $a(PPN)243733976
035   $a(EXLCZ)994100000001587825
100   $a20181212d2017      c0         0
101 0 $afre
135   $aurmu#---auuuu
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aSémantique formelle $eVolume 1: introduction à la grammaire de Montague /$fLaurent Roussarie
210   $cLanguage Science Press$d2017
210  1$aBerlin, Germany :$cLanguage Science Press,$d2017.
210  4$d©2017
215   $a1 online resource (xii, 482 pages) $cPDF, digital file(s)
225 0 $aTextbooks in language sciences ;$v4
311   $a3-96110-017-9 
320   $aIncludes bibliographical references and indexes.
330   $a"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."
606   $aSemantics
606   $aLinguistics$2bicssc
610   $aintensionality
610   $atemporal and modal logic
610   $asyntax-semantics interface
610   $aformal semantics
610   $alogic and model-theoretic semantics
610   $atextbook
610   $acompositional semantic analysis
610   $a?-calculus
615  0$aSemantics.
615  7$aLinguistics
700   $aRoussarie$b Laurent$0997932
906   $aBOOK
912   $a9910251394303321
996   $aSémantique formelle$92288704
997   $aUNINA