Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

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.

Natural language processing (Computer science) --- Logic, Symbolic and mathematical. --- Traitement automatique des langues naturelles --- Logique symbolique et mathématique --- Natural language processing (Computer science). --- Logique symbolique et mathématique --- Logic. --- Computational linguistics. --- Semantics. --- Language and languages—Philosophy. --- Computational Linguistics. --- Philosophy of Language. --- Formal semantics --- Semasiology --- Semiology (Semantics) --- Comparative linguistics --- Information theory --- Language and languages --- Lexicology --- Meaning (Psychology) --- Automatic language processing --- Language data processing --- Linguistics --- Natural language processing (Linguistics) --- Applied linguistics --- Cross-language information retrieval --- Mathematical linguistics --- Multilingual computing --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Intellect --- Philosophy --- Psychology --- Science --- Reasoning --- Thought and thinking --- Data processing --- Methodology --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- NLP (Computer science) --- Artificial intelligence --- Electronic data processing --- Human-computer interaction --- Semantic computing --- Logique mathématique

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book presents a collection of contributions from related logics to applied paraconsistency. Moreover, all of them are dedicated to Jair Minoro Abe,on the occasion of his sixtieth birthday. He is one of the experts in Paraconsistent Engineering, who developed the so-called annotated logics. The book includes important contributions on foundations and applications of paraconsistent logics in connection with engineering, mathematical logic, philosophical logic, computer science, physics, economics, and biology. It will be of interest to students and researchers, who are working on engineering and logic. .

Mathematical logic --- Logic --- Applied physical engineering --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- Computer. Automation --- neuronale netwerken --- fuzzy logic --- cybernetica --- computers --- programmeren (informatica) --- wiskunde --- KI (kunstmatige intelligentie) --- ingenieurswetenschappen --- logica --- robots --- AI (artificiële intelligentie)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of interest to pure and applied logicians, philosophers, and computer scientists as a monograph on a kind of paraconsistent logic. But, the layman will also take profit from its reading.

Engineering. --- Computational Intelligence. --- Artificial Intelligence (incl. Robotics). --- Logic Design. --- Logic design. --- Artificial intelligence. --- Ingénierie --- Structure logique --- Intelligence artificielle --- Engineering & Applied Sciences --- Philosophy --- Philosophy & Religion --- Computer Science --- Logic --- Logic. --- Argumentation --- Deduction (Logic) --- Deductive logic --- Dialectic (Logic) --- Logic, Deductive --- Computational intelligence. --- Intelligence, Computational --- Artificial intelligence --- Soft computing --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Switching theory --- Construction --- Industrial arts --- Technology --- Intellect --- Psychology --- Science --- Reasoning --- Thought and thinking --- Methodology --- Artificial Intelligence.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book discusses current topics in rough set theory. Since Pawlak’s rough set theory was first proposed to offer a basis for imprecise and uncertain data and reasoning from data, many workers have investigated its foundations and applications. Examining various topical issues, including object-oriented rough set models, recommendation systems, decision tables, and granular computing, the book is a valuable resource for students and researchers in the field.

Rough sets. --- Computational intelligence. --- Artificial intelligence. --- Computational Intelligence. --- Artificial Intelligence. --- AI (Artificial intelligence) --- Artificial thinking --- Electronic brains --- Intellectronics --- Intelligence, Artificial --- Intelligent machines --- Machine intelligence --- Thinking, Artificial --- Bionics --- Cognitive science --- Digital computer simulation --- Electronic data processing --- Logic machines --- Machine theory --- Self-organizing systems --- Simulation methods --- Fifth generation computers --- Neural computers --- Intelligence, Computational --- Artificial intelligence --- Soft computing

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book explores reasoning with rough sets by developing a granularity-based framework. It begins with a brief description of rough set theory. Next, we examine some relations between rough set theory and non-classical logics including modal logic. We also develop a granularity-based framework for reasoning in which various types of reasoning can be formalized. This book will be of interest to researchers working on the areas in Artificial Intelligence, database and logic.

Applied physical engineering --- Artificial intelligence. Robotics. Simulation. Graphics --- neuronale netwerken --- fuzzy logic --- cybernetica --- KI (kunstmatige intelligentie) --- ingenieurswetenschappen --- AI (artificiële intelligentie)