Many-Valued Logics
Published on 16. December 1993
Book
Hardback
138 pages
978-0-19-853787-8 (ISBN)
Description
The book attempts an elementary exposition of the topics connected with many-valued logics. It gives an account of the constructions being "many-valued" at their origin, i.e. those obtained through intended introduction of logical values next to truth and falsity. To this aim, the matrix method has been chosen as a prevailing manner of presenting the subject.
The inquiry throws light upon the profound problem of the criteria of many-valuedness and its classical characterizations. Besides, the reader can find information concerning the main systems of many-valued logic, related axiomatic constructions, and conceptions inspired by many valuedness.
The examples of various applications to philosophical logic and some practical domains, as switching theory or Computer Science, helps to see many-valuedness in a wider perspective. Together with a selective bibliography and historical references it makes the work especially useful as a survey and guide in this field of logic.
The inquiry throws light upon the profound problem of the criteria of many-valuedness and its classical characterizations. Besides, the reader can find information concerning the main systems of many-valued logic, related axiomatic constructions, and conceptions inspired by many valuedness.
The examples of various applications to philosophical logic and some practical domains, as switching theory or Computer Science, helps to see many-valuedness in a wider perspective. Together with a selective bibliography and historical references it makes the work especially useful as a survey and guide in this field of logic.
Reviews / Votes
informative ... The author provides an efficient survey of the large and rather diffuse literature on many-valued logics ... gives a very good overview for someone wishing to orient themselves in the field, and provides a substantial list of references for anyone wishing to follow up particular topics. It is the best introductory monograph in the field, and can be confidently recommended to students ... an excellent read. * Alasdair Urquhart, University of Toronto, Notre Dame Journal of Formal Logic *More details
Series
Language
English
Place of publication
Oxford
United Kingdom
Publishing group
Oxford University Press
Target group
Professional and scholarly
Dimensions
Height: 240 mm
Width: 161 mm
Thickness: 12 mm
Weight
382 gr
ISBN-13
978-0-19-853787-8 (9780198537878)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Person
Content
Introduction ; 1. The classical logic ; 2. The third logical value of Lukasiewicz ; 3. Logic algebras and matrices ; 4. Many-valuedness ; 5. Lukasiewicz logics ; 6. Post logics ; 7. Three-valuedness of Kleene and Bochvar ; 8. Standard properties of many-valued constructions ; 9. Probability and many-valuedness ; 10. Classical characterization of many-valued logics ; 11. Quantifiers in many-valued logic ; 12. Intuitionism and the modal logics of Lewis ; 13. Fuzzy sets and Zadeh logic ; 14. Applications and significance of the topic ; Bibliography ; Author index ; Subject index