Del 25 - Oxford Logic Guides

Many-Valued Logics

Inbunden, Engelska, 1993

AvGrzegorz Malinowski,Poland) Malinowski, Grzegorz (Head of Department of Logic, Head of Department of Logic, University of Lodz

2 029 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum1993-12-16
Mått158 x 242 x 13 mm
Vikt347 g
FormatInbunden
SpråkEngelska
SerieOxford Logic Guides
Antal sidor138
FörlagClarendon Press
ISBN9780198537878

Tillhör följande kategorier

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

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.

Mer från samma serie

Consequence Relations

Alex Citkin, Alexei Muravitsky, New York) Citkin, Alex (CIO, CIO, Metropolitan Telecommunications, Louisiana Scholars' College at Northwestern State University of Louisiana) Muravitsky, Alexei (Professor of Mathematics, Professor of Mathematics

Inbunden

1 609 kr

Fragments of First-Order Logic

Ian Pratt-Hartmann, University of Opole) Pratt-Hartmann, Ian (Senior Lecturer, University of Manchester Professor of Mathematical Sciences, University of Opole, Senior Lecturer, University of Manchester Professor of Mathematical Sciences

Inbunden

2 309 kr

Del 24

Introduction to Logic and to the Methodology of Deductive Sciences

Alfred Tarski, The late Alfred Tarski, Jan Tarski

Inbunden

2 159 kr

Del 19

Gödel's Incompleteness Theorems

Raymond M. Smullyan, USA) Smullyan, Raymond M. (Professor, City College, Professor, City College, City University of New York

Inbunden

4 289 kr

Del 22

Recursion Theory for Metamathematics

Raymond M. Smullyan, Indiana University) Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy

Inbunden

2 859 kr

Del 36

Twenty Five Years of Constructive Type Theory

Giovanni Sambin, Jan M. Smith, Italy) Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Sweden) Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology, Jan Smith

Inbunden

1 589 kr

Del 42

Change, Choice and Inference

Hans Rott, Germany) Rott, Hans (, Professor of Philosophy, University of Regensburg

Inbunden

3 139 kr

Del 38

Fibring Logics

Dov M. Gabbay, London) Gabbay, Dov M. (Professor of Computer Science, Professor of Computer Science, King's College

Inbunden

1 979 kr

Del 39

Elements of Intuitionism

Michael Dummett, University of Oxford) Dummett, Michael (Emeritus Professor of Philosophy, Emeritus Professor of Philosophy

Inbunden

4 669 kr

Del 46

Interpolation and Definability

Dov M. Gabbay, Larisa Maksimova, King's College London) Gabbay, Dov M. (, Department of Computer Science, Russia) Maksimova, Larisa (, Institute of Mathematics, Siberian Branch of Russian Academy of Science, Novosibirsk

Inbunden

3 619 kr

Du kanske också är intresserad av

Del 21

Elementary Categories, Elementary Toposes

McLarty, Colin McLarty

Häftad

2 119 kr

Del 30

Features and Fluents

Erik Sandewall, Sweden) Sandewall, Erik (Professor, Department of Computer and Information Science, Professor, Department of Computer and Information Science, Linkoping University

Inbunden

1 909 kr