ENGLISH

Automated deduction in multiple-valued logics

By Reiner Hähnle

Book information

Publisher
Clarendon Press; Oxford University Press
Year
1993
ISBN
9780198539896, 0198539894
LCC
QA76.9.A96 H34 1993
Open Library ID
OL1423090M
Language
english
Format
PDF
Filesize
816 kB (835909 bytes)
Series
International series of monographs on computer science 10
Pages
177\177
Topic
Mathematics Logic
Time added
2009-08-06 05:14:26

Description

This book constitutes a self-contained and unified approach to automated reasoning in multiple-valued logics (MVL). It is the first overview of this area, and it contains a virtually complete account of other approaches to automated reasoning in MVL. Efficient theorem proving methods in MVL are essential for many applications, however existing approaches are inadequate. Here, the author shows how automated reasoning in infinitely valued logics can be done uniformly and efficiently for the first time. Automated reasoning in non-classical logics is a key subtask of many artificial intelligence operations. Applications of MVL in particular include hardware and software verification, reasoning with incomplete or inconsistent knowledge, and natural language processing. The book will thus be a valuable resource for theoretical computer scientists, researchers, and graduate students, as well as for logicians.

Similar books