+612 9045 4394
 
CHECKOUT
Logic, Language and Computation : Studies in Cognitive Systems - Seiki Akama

Logic, Language and Computation

Studies in Cognitive Systems

By: Seiki Akama (Editor)

Hardcover

Published: 31st January 1997
Ships: 7 to 10 business days
7 to 10 business days
RRP $459.99
$318.25
31%
OFF
or 4 easy payments of $79.56 with Learn more

Other Available Formats (Hide)

  • Paperback View Product Published: 9th October 2012
    $259.53

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.

Preface
Recent Issues in Logic, Language and Computation
Restricted Quantification
The Epsilon Calculus' Problematic
Definite Descriptions and Choice Functions
Spatio-Temporal Structure in Text
DRT and Many-Valued Logics
On Constructive Modality
Displaying as Temporalizing: Sequent Systems for Subintuitionistic Logics
Quantification and Dependence Logics
Relevant Conditionals, and Relevant Application Thereof
Index
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9780792343769
ISBN-10: 079234376X
Series: Studies in Cognitive Systems
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 253
Published: 31st January 1997
Publisher: SPRINGER VERLAG GMBH
Country of Publication: NL
Dimensions (cm): 23.39 x 15.6  x 1.6
Weight (kg): 0.55