Completeness Theory for Propositional Logics (Record no. 38607)
[ view plain ]
000 -LEADER | |
---|---|
fixed length control field | 03243n a2200409#a 4500 |
001 - CONTROL NUMBER | |
control field | 5000244 |
003 - CONTROL NUMBER IDENTIFIER | |
control field | DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION | |
control field | 20221213140640.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
fixed length control field | cr|||||||||||| |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
fixed length control field | 100301s2008 sz | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
International Standard Book Number | 9783764385187 |
024 7# - OTHER STANDARD IDENTIFIER | |
Standard number or code | 10.1007/978-3-7643-8518-7 |
Source of number or code | doi |
035 ## - SYSTEM CONTROL NUMBER | |
System control number | 978-3-7643-8518-7 |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | PBC |
Source | bicssc |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | PBCD |
Source | bicssc |
072 #7 - SUBJECT CATEGORY CODE | |
Subject category code | MAT018000 |
Source | bisacsh |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
Classification number | 511.3 |
090 ## - IMPA CODE FOR CLASSIFICATION SHELVES | |
IMPA CODE FOR CLASSIFICATION SHELVES | Matemáticas Gerais-(inclusive alguns textos elementares sobre assuntos específicos) |
100 0# - MAIN ENTRY--PERSONAL NAME | |
Personal name | Pogorzelski, Witold A., |
Dates associated with a name | 1895-1962. |
9 (RLIN) | 19953 |
245 10 - TITLE STATEMENT | |
Title | Completeness Theory for Propositional Logics |
Medium | [electronic resource]/ |
Statement of responsibility, etc. | by Witold A. Pogorzelski, Piotr Wojtylak. |
260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
Place of publication, distribution, etc. | Basel: |
Name of publisher, distributor, etc. | Birkhäuser Basel, |
Date of publication, distribution, etc. | 2008. |
300 ## - PHYSICAL DESCRIPTION | |
Other physical details | digital. |
490 0# - SERIES STATEMENT | |
Series statement | Studies in Universal Logic |
505 0# - FORMATTED CONTENTS NOTE | |
Formatted contents note | Introduction -- 1. Basic notions: Propositional languages -- Abstract algebras -- Preliminary lattice-theoretical notions -- Propositional logics -- Brief exposition of the most important propositional logics -- 2. Semantic methods in propositional logic: Preordered sets -- Preordered algebras -- Logical matrices -- Adequacy -- Propositional logic and lattice theory -- 3. Completeness of propositional logic: Generalized completeness -- Post-completeness -- The problem of uniqueness of Lindenbaum extensions -- Some related concepts -- 4. Characterization of propositional connectives: Cn-definitions -- The system (D) -- Variants -- The system (I) -- Classical logic -- Appendix: The fundamental metatheorem for the classical propositional logic -- A proof system for the classical logic . |
520 ## - SUMMARY, ETC. | |
Summary, etc. | 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 . |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Mathematics |
9 (RLIN) | 43458 |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
Topical term or geographic name entry element | Logic, Symbolic and mathematical. |
9 (RLIN) | 9813 |
697 ## - LOCAL SUBJECT | |
Local Subject | Matemáticas Gerais- |
Description subdivision | (inclusive alguns textos elementares sobre assuntos específicos) |
Linkage | 23752 |
700 1# - ADDED ENTRY--PERSONAL NAME | |
Personal name | Wojtylak, Piotr |
9 (RLIN) | 9265 |
710 1# - ADDED ENTRY--CORPORATE NAME | |
Corporate name or jurisdiction name as entry element | SpringerLink (Online service). |
9 (RLIN) | 8857 |
773 0# - HOST ITEM ENTRY | |
Title | Springer eBooks |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
Relationship information | Printed edition: |
International Standard Book Number | 9783764385170 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
Uniform title | Studies in Universal Logic |
9 (RLIN) | 9280 |
856 40 - ELECTRONIC LOCATION AND ACCESS | |
Uniform Resource Identifier | <a href="http://dx.doi.org/10.1007/978-3-7643-8518-7">http://dx.doi.org/10.1007/978-3-7643-8518-7</a> |
942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
Source of classification or shelving scheme | Instituto de Matemática Pura e Aplicada |
Koha item type | E-Book |
No items available.