Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics | 岐阜大学図書館蔵書検索（OPAC）

>> Amazon.co.jp

このページのQRコード

Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics

種類:: 図書
責任表示:: Lincoln A. Wallen
出版情報:: Cambridge, Mass. : MIT Press, c1990
著者名:: Wallen, Lincoln A. <DA03965998>
シリーズ名:: The MIT Press series in artificial intelligence <BA00010813>
ISBN:: 9780262231442 [0262231441]
注記:: Bibliography: p. [228]-234
Includes indexes

所蔵情報

Loading availability information

子書誌情報

タイトルが類似している資料

詳細

その他の標題:	Automated deduction in nonclassical logics
主題:	Intuitionistic mathematics; Modality (Logic); Proof theory
分類・件名:	LCC : QA9.54 DDC : 511.3 NDC7 : 410.12 LCSH : Proof theory LCSH : Modality (Logic) LCSH : Intuitionistic mathematics
LCCN:	89014539
TTLL:	eng
言語:	英語
形態:	239 p. : ill. ; 24 cm
書誌ID:	BA0786395X

内容紹介

Loading contents information

目次情報

Loading contents information

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Proof theory and intuitionistic systems Scarpellini, Bruno Springer-Verlag	7 図書 First steps in modal logic Popkorn, Sally Cambridge University Press
2 図書 Extensional Gödel functional interpretation : a consistency proof of classical analysis Luckhardt, Horst Springer-Verlag	8 図書 A short introduction to modal logic Mint︠s︡, Grigori Center for the Study of Language and Information, Leland Stanford Junior University
3 図書 Metamathematical investigation of intuitionistic arithmetic and analysis Troelstra, A. S. (Anne Sjerp) Springer	9 図書 The foundations of intuitionistic mathematics : especially in relation to recursive functions Kleene, Stephen Cole, 1909-, Vesley, Richard Eugene, 1932- North-Holland Pub. Co.
4 図書 The logic of provability Boolos, George Cambridge University Press	10 図書 Mathematics of modality Goldblatt, Robert, 1949- CSLI Publications
5 図書 Modal logic Blackburn, Patrick, 1959-, Rijke, Maarten de, Venema, Yde, 1963- Cambridge University Press	11 図書 Automated deduction in classical and non-classical logics : selected papers Caferra, Ricardo, Salzer, Gernot Springer
6 図書 Modal logic Chagrov, Alexander, Zakharyaschev, Michael Clarendon Press, Oxford University Press	12 図書 Aristotle's modal syllogisms McCall, Storrs North-Holland Pub. Co.