ISBNコード 9783764385170

Completeness Theory for Propositional Logics 2008/SPRINGER NATURE/Witold A. Pogorzelski

商品基本情報

商品イメージ
価格調査	※各サイトの検索結果ページが表示されます。
一括価格調査	一括価格調査ツールで検索
コード番号	9783764385170
コードタイプ	ISBN
JANシンボル
商品名	Completeness Theory for Propositional Logics 2008/SPRINGER NATURE/Witold A. Pogorzelski
発売日	2008年
商品ジャンル	本・雑誌・コミック > 洋書 > COMPUTERS ＆ SCIENCE
コメント	The book develops the theory of one of the most important notions in the methodology of formal systems. Particularly, completeness plays an important role in propositional logic where many variants of the notion have been defined. Global variants of the notion mean the possibility of getting all correct and reliable schemata of inference. Its local variants refer to the notion of truth given by some semantics. A uniform theory of completeness in its general and local meaning is carried out and it generalizes and systematizes some variety of the notion of completeness such as Post-completeness, structural completeness and many others. This approach allows also for a more profound view upon some essential properties (e.g. two-valuedness) of propositional systems. For these purposes, the theory of logical matrices, and the theory of consequence operations is exploited.

広告

商品詳細情報