Cart
Free US shipping over $10
Proud to be B-Corp

Logic, Language and Computation S. Akama

Logic, Language and Computation By S. Akama

Logic, Language and Computation by S. Akama


$143.59
Condition - New
Only 2 left

Summary

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.

Logic, Language and Computation Summary

Logic, Language and Computation by S. Akama

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.

Table of Contents

Preface. 1. Recent Issues in Logic, Language and Computation; S. Akama. 2. Restricted Quantification; M.J. Cresswell. 3. The Epsilon Calculus' Problematic; B.H. Slater. 4. Definite Descriptions and Choice Functions; K. von Heusinger. 5. Spatio-Temporal Structure in Text; N. Asher. 6. DRT and Many-Valued Logics; Y. Nakayama. 7. On Constructive Modality; S. Akama. 8. Displaying as Temporalizing: Sequent Systems for Subintuitionistic Logics; H. Wansing. 9. Quantification and Dependence Logics; L. Farinas del Cerro, V. Lugardon. 10. Relevant Conditionals, and Relevant Application Thereof; R. Sylvan. Index.

Additional information

NPB9780792343769
9780792343769
079234376X
Logic, Language and Computation by S. Akama
New
Hardback
Springer
1997-01-31
253
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time

Customer Reviews - Logic, Language and Computation