Proof methods for modal and intuitionistic logics

Melvin Fitting

[目次]

  • One / Background.- Two / Analytic Modal Tableaus and Consistency Properties.- Three / Logical Consequence, Compactness, Interpolation, and Other Topics.- Four / Axiom Systems and Natural Deduction.- Five / Non-Analytic Logics.- Six / Non-Normal Logics.- Seven / Quantifiers.- Eight / Prefixed Tableau Systems.- Nine / Intuitionistic Logic.- Special Notation.

「Nielsen BookData」より

この本の情報

書名 Proof methods for modal and intuitionistic logics
著作者等 Fitting, Melvin Chris
Fitting M.
シリーズ名 Synthese library
出版元 D.Reidel
Sold and Kluwer Boston
刊行年月 c1983
ページ数 viii, 555 p.
大きさ 23 cm
ISBN 9027715734
NCID BA0107471X
※クリックでCiNii Booksを表示
言語 英語
出版国 オランダ
この本を: 
このエントリーをはてなブックマークに追加

Yahoo!ブックマークに登録
この記事をクリップ!
Clip to Evernote
このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想