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を表示
言語 英語
出版国 オランダ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想