Search results: Found 2

Listing 1 - 2 of 2
Sort by
Sémantique formelle: Volume 1

Author:
Book Series: Textbooks in Language Sciences ISBN: 9783961100170 9781977891549 Year: Pages: 498 DOI: 10.5281/zenodo.1000504 Language: French
Publisher: Language Science Press
Subject: Linguistics
Added to DOAB on : 2018-01-13 11:02:32
License:

Loading...
Export citation

Choose an application

Abstract

"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."

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Authors: ---
Book Series: Theoretical Computer Science and General Issues ISSN: 0302-9743 ISBN: 9783319893655 9783319893662 Year: Pages: 583 DOI: https://doi.org/10.1007/978-3-319-89366-2 Language: English
Publisher: Springer Nature Grant: ETAPS e.V.
Subject: Computer Science
Added to DOAB on : 2018-06-26 16:52:58
License:

Loading...
Export citation

Choose an application

Abstract

This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.The 31 papers presented in this volume were carefully reviewed and selected from 103 submissions. The papers are organized in topical sections named: semantics; linearity; concurrency; lambda-calculi and types; category theory and quantum control; quantitative models; logics and equational theories; and graphs and automata.

Listing 1 - 2 of 2
Sort by
Narrow your search

Publisher

Language Science Press (1)

Springer Nature (1)


License

CC by (2)


Language

english (1)

french (1)


Year
From To Submit

2018 (1)

2017 (1)