Provability, Computability and Reflection ( Volume 7 )

Publication series ：Volume 7

Author： Beklemishev   Lev D.  

Publisher： Elsevier Science‎

Publication year： 2000

E-ISBN: 9780080957272

P-ISBN(Paperback): 9780444533722

P-ISBN(Hardback):  9780444533722

Subject： B085 Neo - realism, logical positivism (the new positivism, logical empiricism)

Language： ENG

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Description

Provability, Computability and Reflection

Chapter

Front Cover

pp.：  1 – 4

Many-Valued Logics

pp.：  4 – 5

Copyright Page

pp.：  5 – 8

Contents

pp.：  8 – 10

CHAPTER I. INTRODUCTION

pp.：  10 – 19

CHAPTER II. TRUTH TABLES

pp.：  19 – 36

CHAPTER III. AXIOMATIZATION OF MANY-VALUED STATEMENT CALCULI

pp.：  36 – 58

CHAPTER IV. FOUNDATIONS OF THE THEORY OF QUANTIFICATION FOR MANY-VALUED LOGICS

pp.：  58 – 71

CHAPTER V. AXIOMATIZATION OF MANY-VALUED PREDICATE CALCULI

pp.：  71 – 93

CHAPTER VI. QUANTIFICATION FOR PARTICULAR PREDICATE CALCULI

pp.：  93 – 118

CHAPTER VII. SOME UNSOLVED PROBLEMS

pp.：  118 – 121

BIBLIOGRAPHY

pp.：  121 – 125

GLOSSARY OF SYMBOLS

pp.：  125 – 127

INDEX

pp.：  127 – 134

The users who browse this book also browse


No browse record.