| 书目名称 | Completeness Theory for Propositional Logics | | 编辑 | Witold A. Pogorzelski,Piotr Wojtylak | | 视频video | | | 概述 | Develops theory for one of the most important notions in the methodology of formal systems.Allows a more profound view upon essential properties of propositional systems.Theory of logical matrices and | | 丛书名称 | Studies in Universal Logic | | 图书封面 |  | | 描述 | Completeness is one of the most important notions in logic and the foundations of mathematics. Many variants of the notion have been de?ned in literature. We shallconcentrateonthesevariants,andaspects,of completenesswhicharede?ned in propositional logic. Completeness means the possibility of getting all correct and reliable sc- mata of inference by use of logical methods. The word ‘all’, seemingly neutral, is here a crucial point of distinction. Assuming the de?nition as given by E. Post we get, say, a global notion of completeness in which the reliability refers only to syntactic means of logic and outside the correct schemata of inference there are only inconsistent ones. It is impossible, however, to leave aside local aspects of the notion when we want to make it relative to some given or invented notion of truth. Completeness understood in this sense is the adequacy of logic in relation to some semantics, and the change of the logic is accompanied by the change of its semantics. Such completeness was e?ectively used by J. ?ukasiewicz and investigated in general terms by A. Tarski and A. Lindenbaum, which gave strong foundations for research in logic and, in particular, for the | | 出版日期 | Book 2008 | | 关键词 | Completeness; Consequence operation; Logical matrix; Post-completeness; Structural completeness; Universa | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-7643-8518-7 | | isbn_softcover | 978-3-7643-8517-0 | | isbn_ebook | 978-3-7643-8518-7Series ISSN 2297-0282 Series E-ISSN 2297-0290 | | issn_series | 2297-0282 | | copyright | Birkhäuser Basel 2008 |
The information of publication is updating
|
|
发表于 2025-3-21 17:15:39
