Multiple-conclusion logic

>> Google Books

所蔵情報QRコード

Multiple-conclusion logic / D. J. Shoesmith and T. J. Smiley

資料種別:

図書

出版情報:

Cambridge [England] ; New York : Cambridge University Press, 1978

形態:

xiii, 396 p. ; 24 cm

著者名:

ISBN:

9780521217651 [0521217652]

書誌ID:

BA22808254

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Bibliography: p. [386]-389
Includes index

主題:

Many-valued logic

言語:

英語

目次情報:

Preface

Introduction

Multiple and Single Conclusions / Part I：

Single-conclusion calculi / 1：

Multiple-conclusion calculi / 2：

Tree proofs / 3：

Axiomatisability / 4：

Counterparts / 5：

Infinite rules / 6：

Graph Proofs / Part II：

Graph arguments / 7：

Kneale proofs / 8：

Cross-reference / 9：

Abstract proofs / 10：

Single-conclusions proofs / 11：

Infinite proofs / 12：

Many-valued Logic / Part III：

Many-valued calculi / 13：

matrices / 14：

Many-valuedness / 15：

Categoricity / 16：

Two-valued logic / 18：

Axiomatisation / 19：

Natural Deduction / Part IV：

Bibliography / 20：

Index

Preface

Introduction

Multiple and Single Conclusions / Part I：

Single-conclusion calculi / 1：

Multiple-conclusion calculi / 2：

Tree proofs / 3：

続きを見る

東工大ブックレビュー

類似資料:

1 図書 Many-valued logics Rosser, J. Barkley (John Barkley), 1907-, Turquette, Atwell R. (Atwell Rufus), 1914- North-Holland Pub. Co.	7 図書 Brushless permanent-magnet and reluctant motor drives (: U.S.) Miller, T. J. E. (Timothy John Eastham), 1947- Clarendon Press, Oxford University Press
2 図書 Computer science and multiple-valued logic : theory and applications (U.S.) Rine, David C. North-Holland, Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.	8 電子ブック Fuzzy logic with engineering applications Ross, Timothy J. Wiley Online Library - AutoHoldings Books, John Wiley & Sons, Inc.
3 図書 Introduction to logic for systems modelling Pinkava, Václav Abacus Press	9 図書 The Second NREL Conference on Thermophotovoltaic Generation of Electricity: Colorado Springs, CO July 1995 NREL Conference on Thermophotovoltaic Generation of electricity, Benner, John P., Coutts, T. J. (Timothy J.), Ginley, D. … American Institute of Physics
4 図書 Many-valued logic Rescher, Nicholas McGraw-Hill	10 図書 Active and passive thin film devices Coutts, T. J. (Timothy J.) Academic Press
5 図書 Many-valued logics (v. 1 : gw ; v. 1 : us ; v. 1 : pbk.) Bolc, Leonard, 1934-, Borowik, Piotr Springer-Verlag	11 図書 Electrical conduction in thin metal films Coutts, T. J. (Timothy J.) Elsevier Scientific Pub. Co.
6 図書 The philosophy of the environment (: pbk) Chappell, T. D. J. (Timothy D. J.) Edinburgh University Press	12 図書 The first NREL conference on thermophotovoltaic generation of electricity : Copper Mountain, CO 1994 NREL Conference on Thermophotovoltaic Generation of electricity, Coutts, T. J. (Timothy J.), Benner, John P. American Institute of Physics