Algebraic methods of mathematical logic:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Buch |
| Sprache: | Englisch |
| Veröffentlicht: |
Prague [u.a.]
Academia
1967
|
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001256569&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Beschreibung: | Literaturverz. S. 200 - 206. - Aus d. Tschech. übers. |
| Umfang: | 210 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV001928112 | ||
| 003 | DE-604 | ||
| 005 | 20191211 | ||
| 007 | t| | ||
| 008 | 890928s1967 xx |||| 00||| eng d | ||
| 035 | |a (OCoLC)2655859 | ||
| 035 | |a (DE-599)BVBBV001928112 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-355 |a DE-29 |a DE-20 |a DE-210 |a DE-19 |a DE-706 |a DE-634 |a DE-83 |a DE-188 |a DE-11 | ||
| 050 | 0 | |a BC135 | |
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 164 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 03Gxx |2 msc | ||
| 100 | 1 | |a Rieger, Ladislav |d 1916-1963 |e Verfasser |0 (DE-588)140980199 |4 aut | |
| 245 | 1 | 0 | |a Algebraic methods of mathematical logic |c Ladislav Rieger. Czechoslov. Acad. of Sciences |
| 264 | 1 | |a Prague [u.a.] |b Academia |c 1967 | |
| 300 | |a 210 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturverz. S. 200 - 206. - Aus d. Tschech. übers. | ||
| 650 | 4 | |a Boole, Algèbre de | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 4 | |a Algebra, Boolean | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001256569&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 940 | 1 | |q HUB-ZB011201104 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-001256569 | |
Datensatz im Suchindex
| DE-BY-TUM_call_number | 0102 MAT 030f 2001 A 28581 |
|---|---|
| DE-BY-TUM_katkey | 141039 |
| DE-BY-TUM_location | 01 |
| DE-BY-TUM_media_number | 040010385514 |
| _version_ | 1821932148914913280 |
| adam_text | Contents
Preface
Contents
1. Introduction
1.1 Directions for the use of the introduction 9
1.2 A general characterization of mathematical logic 9
1.3 Formalization, mathematization, interpretation 10
1.4 The dialectic of the relation between mathematical and metamathematical aspects 12
1.5 Metamathematico mathematical parallelism and its natural limits 14
1.6 Practical applications of methods of mathematical logic 16
1.7 Principal mathematical tools of mathematical logic 17
1.8 Constructivism in metamathematics 18
1.9 Philosophy and mathematical logic 19
1.10 Methodological tasks and achievements of mathematical logic within mathematics 20
1.11 Semantics and pragmatics 22
1.12 Mathematical logic and logic in the broad sense 23
2. The language of mathematics and its symbolization
2.1 Mathematical logic and mathematical language as a material system of signs 25
2.2 The technique of symbolization of the language of mathematics 26
2.3 The substance and purpose of symbolization of mathematical language 30
2.4 Logical syntax and logical semantics 36
2.5 The idealized symbolical mathematical theory (without individual constants) and its
generalizations 36
3. Recursive construction of the relation of consequence
3.1 Fundamental descriptively syntactic rules 38
3.2 Fundamental descriptively semantic rules; definition of truth of a sentence 42
3.3 Recursive construction of the relation of consequence 48
3.4 Theorems on the relation of consequence; duality; the deduction theorem 54
4. Expressive possibilities of the present symbolization
4.1 Symbolic expression of operations and functions 70
4.2 Possibility of elementary symbolization of classical mathematics 72
7
Contents
4.3 Individual constants and their elimination 73
4.4 The syntactic approach to individual constants 78
4.5 Formalization of mathematical theories without primitive equality 80
5. Intuitive and mathematical notions of an idealized axiomatic mathematical theory
5.1 Critical annotations; arithmetization and algebraization 83
5.2 Logical frame of a language and mathematical theory 87
5.3 The algorithmic condition for a finite sequence of signs to be an expression; unique¬
ness of decomposition of expressions; the replacement theorem; scope of quantifica¬
tion 92
6. The algebraic theory of elementary predicate logic
6.1 The notion of Boolean algebra based on the order relation 101
6.2 The notion of Boolean algebra based on joins, meets and complementation 106
6.3 Basic algebraic tools of mathematical logic; Boolean subalgebras; homomorphisms;
ideals and prime ideals; set representation 112
7. Foundations of the algebraic theory of logical syntax
7.1 Free Boolean algebras, construction and representation 123
7.2 The algebraic aspect of propositional calculi 134
7.3 Algebraic properties of basic Lindenbaum algebras 140
7.3 Basic properties of joins and meets in Boolean algebras 143
7.5 Congruence of sentential expressions, renaming of bound individual indeterminates 146
7.6 Joins and meets in Lindenbaum algebras given by logical quantifiers; freedom of
basic Lindenbaum algebras 148
7.7 Indexed Boolean algebras 155
7.8 Homomorphisms and ideals in indexed Boolean algebras 164
7.9 Substitutive / ideals and formalized theories 172
7.10 Abstract characterization of Lindenbaum algebras 176
8. Algebraic laws of semantics of first order predicate logic
8.1 The relation of satisfaction; truth valuations; models of formalized theories 181
8.2 Algebraic characterization of basic semantical notions 186
8.3 Theorem on / prime over ideals for substitutively indexed algebras 189
8.4 Algebraic formulation of completeness of predicate logic 196
Bibliography 200
Index 207
8
|
| any_adam_object | 1 |
| author | Rieger, Ladislav 1916-1963 |
| author_GND | (DE-588)140980199 |
| author_facet | Rieger, Ladislav 1916-1963 |
| author_role | aut |
| author_sort | Rieger, Ladislav 1916-1963 |
| author_variant | l r lr |
| building | Verbundindex |
| bvnumber | BV001928112 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC135 |
| callnumber-raw | BC135 QA9 |
| callnumber-search | BC135 QA9 |
| callnumber-sort | BC 3135 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2600 SK 130 |
| ctrlnum | (OCoLC)2655859 (DE-599)BVBBV001928112 |
| dewey-full | 164 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 164 - [Unassigned] |
| dewey-raw | 164 |
| dewey-search | 164 |
| dewey-sort | 3164 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01633nam a2200433 c 4500</leader><controlfield tag="001">BV001928112</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20191211 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">890928s1967 xx |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)2655859</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV001928112</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC135</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">164</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">03Gxx</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rieger, Ladislav</subfield><subfield code="d">1916-1963</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)140980199</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebraic methods of mathematical logic</subfield><subfield code="c">Ladislav Rieger. Czechoslov. Acad. of Sciences</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Prague [u.a.]</subfield><subfield code="b">Academia</subfield><subfield code="c">1967</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">210 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 200 - 206. - Aus d. Tschech. übers.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Boole, Algèbre de</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra, Boolean</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001256569&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">HUB-ZB011201104</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001256569</subfield></datafield></record></collection> |
| id | DE-604.BV001928112 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T07:43:22Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001256569 |
| oclc_num | 2655859 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-29 DE-20 DE-210 DE-19 DE-BY-UBM DE-706 DE-634 DE-83 DE-188 DE-11 |
| owner_facet | DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-29 DE-20 DE-210 DE-19 DE-BY-UBM DE-706 DE-634 DE-83 DE-188 DE-11 |
| physical | 210 S. |
| psigel | HUB-ZB011201104 |
| publishDate | 1967 |
| publishDateSearch | 1967 |
| publishDateSort | 1967 |
| publisher | Academia |
| record_format | marc |
| spellingShingle | Rieger, Ladislav 1916-1963 Algebraic methods of mathematical logic Boole, Algèbre de Logique symbolique et mathématique Algebra, Boolean Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 |
| title | Algebraic methods of mathematical logic |
| title_auth | Algebraic methods of mathematical logic |
| title_exact_search | Algebraic methods of mathematical logic |
| title_full | Algebraic methods of mathematical logic Ladislav Rieger. Czechoslov. Acad. of Sciences |
| title_fullStr | Algebraic methods of mathematical logic Ladislav Rieger. Czechoslov. Acad. of Sciences |
| title_full_unstemmed | Algebraic methods of mathematical logic Ladislav Rieger. Czechoslov. Acad. of Sciences |
| title_short | Algebraic methods of mathematical logic |
| title_sort | algebraic methods of mathematical logic |
| topic | Boole, Algèbre de Logique symbolique et mathématique Algebra, Boolean Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Boole, Algèbre de Logique symbolique et mathématique Algebra, Boolean Logic, Symbolic and mathematical Mathematische Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001256569&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT riegerladislav algebraicmethodsofmathematicallogic |
Inhaltsverzeichnis
Paper/Kapitel scannen lassen
Paper/Kapitel scannen lassen
Teilbibliothek Mathematik & Informatik
| Signatur: |
0102 MAT 030f 2001 A 28581 Lageplan |
|---|---|
| Exemplar 1 | Ausleihbar Am Standort |