Shortcuts
Top of page (Alt+0)
Page content (Alt+9)
Page menu (Alt+8)
Your browser does not support javascript, some WebOpac functionallity will not be available.
.
Default
.
PageMenu
-
Main Menu
-
Simple Search
.
Advanced Search
.
Journal Search
.
Refine Search Results
.
Preferences
.
Search Menu
Simple Search
.
Advanced Search
.
New Items Search
.
Journal Search
.
Refine Search Results
.
Bottom Menu
Help
Italian
.
English
.
German
.
New Item Menu
New Items Search
.
New Items List
.
Links
SISSA Library
.
ICTP library
.
Italian National web catalog (SBN)
.
Trieste University web catalog
.
Udine University web catalog
.
© LIBERO v6.4.1sp220816
Page content
You are here
:
Catalogue Display
Catalogue Display
Logic, Language and Computation
.
Bookmark this Record
Catalogue Record 43524
.
.
LibraryThing
.
.
Google Books
.
.
Amazon Books
.
Catalogue Information
Catalogue Record 43524
.
Reviews
Catalogue Record 43524
.
British Library
Resolver for RSN-43524
Google Scholar
Resolver for RSN-43524
WorldCat
Resolver for RSN-43524
Catalogo Nazionale SBN
Resolver for RSN-43524
GoogleBooks
Resolver for RSN-43524
ICTP Library
Resolver for RSN-43524
.
Share Link
Jump to link
Catalogue Information
Field name
Details
Dewey Class
160
Title
Logic, Language and Computation ([EBook] /) / edited by Seiki Akama.
Added Personal Name
Akama, Seiki
editor.
Other name(s)
SpringerLink (Online service)
Publication
Dordrecht : : Springer Netherlands : : Imprint: Springer, , 1997.
Physical Details
IX, 253 p. : online resource.
Series
Applied Logic Series
1386-2790 ; ; 5
ISBN
9789401156387
Summary Note
The editors of the Applied Logic Series are happy to present to the reader the fifth volume in the series, a collection of papers on Logic, Language and Computation. One very striking feature of the application of logic to language and to computation is that it requires the combination, the integration and the use of many diverse systems and methodologies - all in the same single application. The papers in this volume will give the reader a glimpse into the problems of this active frontier of logic. The Editors CONTENTS Preface IX 1. S. AKAMA Recent Issues in Logic, Language and Computation 1 2. M. J. CRESSWELL Restricted Quantification 27 3. B. H. SLATER The Epsilon Calculus' Problematic 39 4. K. VON HEUSINGER Definite Descriptions and Choice Functions 61 5. N. ASHER Spatio-Temporal Structure in Text 93 6. Y. NAKAYAMA DRT and Many-Valued Logics 131 7. S. AKAMA On Constructive Modality 143 8. H. W ANSING Displaying as Temporalizing: Sequent Systems for Subintuitionistic Logics 159 9. L. FARINAS DEL CERRO AND V. LUGARDON 179 Quantification and Dependence Logics 10. R. SYLVAN Relevant Conditionals, and Relevant Application Thereof 191 Index 245 Preface This is a collection of papers by distinguished researchers on Logic, Lin guistics, Philosophy and Computer Science. The aim of this book is to address a broad picture of the recent research on related areas. In particular, the contributions focus on natural language semantics and non-classical logics from different viewpoints.:
Contents note
1. Recent Issues in Logic, Language and Computation -- 2. Restricted Quantification -- 3. The Epsilon Calculus’ Problematic -- 4. Definite Descriptions and Choice Functions -- 5. Spatio-Temporal Structure in Text -- 6. DRT and Many-Valued Logics -- 7. On Constructive Modality -- 8. Displaying as Temporalizing: Sequent Systems for Subintuitistic Logics -- 9. Quantification and Dependence Logics -- 10. Relevant Conditionals, and Relevant Application Thereof.
System details note
Online access to this digital book is restricted to subscription institutions through IP address (only for SISSA internal users)
Internet Site
http://dx.doi.org/10.1007/978-94-011-5638-7
Links to Related Works
Subject References:
Computational Linguistics
.
Language and languages
.
Logic
.
Philosophy
.
Philosophy of Language
.
Semantics
.
Authors:
Akama, Seiki
.
Corporate Authors:
SpringerLink (Online service)
.
Series:
Applied Logic Series
.
Classification:
160
.
.
ISBD Display
Catalogue Record 43524
.
Tag Display
Catalogue Record 43524
.
Related Works
Catalogue Record 43524
.
Marc XML
Catalogue Record 43524
.
Add Title to Basket
Catalogue Record 43524
.
Catalogue Information 43524
Beginning of record
.
Catalogue Information 43524
Top of page
.
Download Title
Catalogue Record 43524
Export
This Record
As
Labelled Format
Bibliographic Format
ISBD Format
MARC Format
MARC Binary Format
MARCXML Format
User-Defined Format:
Title
Author
Series
Publication Details
Subject
To
File
Email
Reviews
This item has not been rated.
Add a Review and/or Rating
43524
1
43524
-
2
43524
-
3
43524
-
4
43524
-
5
43524
-
Quick Search
Search for