<電子ブック>
Protoalgebraic Logics / by Janusz Czelakowski
(Trends in Logic, Studia Logica Library. ISSN:22127313 ; 10)
版 | 1st ed. 2001. |
---|---|
出版者 | (Dordrecht : Springer Netherlands : Imprint: Springer) |
出版年 | 2001 |
本文言語 | 英語 |
大きさ | XII, 452 p : online resource |
著者標目 | *Czelakowski, Janusz author SpringerLink (Online service) |
件 名 | LCSH:Mathematical logic LCSH:Logic LCSH:Semiotics LCSH:Algebra FREE:Mathematical Logic and Foundations FREE:Logic FREE:Semiotics FREE:Algebra |
一般注記 | 0. Basic definitions and facts -- I. Protoalgebraic Logics. The Leibniz Operator -- 1. Protoalgebraic logics -- 2. Protoalgebraicity and the Deduction Theorem -- 3. Equivalential logics -- II. Algebraizable Sentential Logics -- Q. Quasivarieties of algebras -- 4. Algebraizable logics -- 5. Regularly algebraizable logics -- 6. Fregean logics -- Symbol index -- Index of definitions The main aim of this book is to present recent ideas in logic centered around the notion of a consequence operation. We wish to show these ideas in a factually and materially connected way, i.e., in the form of a consistent theory derived from several simple assumptions and definitions. These ideas have arisen in many research centers. The thorough study of their history can certainly be an exciting task for the historian of logic; in the book this aspect of the theory is being played down. The book belongs to abstract algebraic logic, the area of research that explores to a large extent interconnections between algebra and logic. The results presented here concern logics defined in zero-order languages (Le., quantifier-free sentential languages without predicate symbols). The reach of the theory expounded in the book is, in fact, much wider. The theory is also valid for logics defined in languages of higer orders. The problem of transferring the theory to the level of first-order languages has been satisfactorily solved and new ideas within this area have been put forward in the work of Blok and Pigozzi [1989] HTTP:URL=https://doi.org/10.1007/978-94-017-2807-2 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9789401728072 |
|
電子リソース |
|
EB00234593 |
書誌詳細を非表示
データ種別 | 電子ブック |
---|---|
分 類 | LCC:QA8.9-10.3 DC23:511.3 |
書誌ID | 4000111652 |
ISBN | 9789401728072 |
類似資料
この資料の利用統計
このページへのアクセス回数:5回
※2017年9月4日以降