Zweiwertige und mehrwertige Logik: ein Beitrag zur Geschichte und Einheit der Logik
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | German |
| Published: |
München
Ehrenwirth
1973
|
| Series: | Analytica
1 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 106 S. |
| ISBN: | 3431015158 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV000940248 | ||
| 003 | DE-604 | ||
| 005 | 20070917 | ||
| 007 | t | ||
| 008 | 890315s1973 |||| 00||| ger d | ||
| 020 | |a 3431015158 |9 3-431-01515-8 | ||
| 035 | |a (OCoLC)823420 | ||
| 035 | |a (DE-599)BVBBV000940248 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-12 |a DE-19 |a DE-91 |a DE-739 |a DE-824 |a DE-29 |a DE-20 |a DE-29T |a DE-706 |a DE-M468 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a BC126 | |
| 082 | 0 | |a 160 |b R9396w | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 100 | 1 | |a Rutz, Peter |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Zweiwertige und mehrwertige Logik |b ein Beitrag zur Geschichte und Einheit der Logik |c Peter Rutz |
| 264 | 1 | |a München |b Ehrenwirth |c 1973 | |
| 300 | |a 106 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Analytica |v 1 | |
| 650 | 4 | |a Many-valued logic | |
| 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 | |
| 830 | 0 | |a Analytica |v 1 |w (DE-604)BV000894516 |9 1 | |
| 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=000574940&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-000574940 | ||
| 980 | 4 | |a (DE-12)AK18991013 | |
Record in the Search Index
| _version_ | 1804115371932778496 |
|---|---|
| adam_text | Titel: Zweiwertige und mehrwertige Logik
Autor: Rutz, Peter
Jahr: 1973
Inhalt
Vorwort 9
Einleitung
1. Problematik und Bedeutung der mehrwertigen Logik 11
2. Unterlagen und Ziel der Arbeit 12
3. Gliederung 12
1. Grundbegriffe der Aussagenlogik
1.1 Allgemeine Begriffsbestimmungen 13
1.2 Axiomatisehe Methode 14
1.3 Matrizenmethode 15
2. Entstehung und Entwicklung der mehrwertigen Logikkalküle
2.1 Entstehung 21
2.2 Vorgeschichte 22
2.3 Entwicklung nach 1920 23
2.4 Anwendungen mehrwertiger Systeme (Überblick) 25
2.5 Beziehung zwischen Matrix und erzeugtem System 26
2.6 Funktionale Vollständigkeit, endliche (diskrete)
Funktionalanalysis 26
2.7 Axiomatische Methode 32
2.8 Matrizenalgebra 35
3. Einheit und Vielfalt der Logik
3.1 „Absolutisten 37
3.2 Relativisten und Pragmatisten 37
3.3 Die Einheit der Logik 39
3.4 Wahre Logik 40
3.5 Die mehrwertigen Kalküle 41
4. Gültigkeit von Sätzen der zweiwertigen in einer
mehrwertigen Logik
4.1 Verwandtschaft von Funktoren 43
4.2 Verwandtschaft von Ausdrücken 49
4.3 Hauptsatz I 53
4.4 Zusammenfassung 55
5. Darstellbar- und Entscheidbarkeit mehrwertiger Ausdrücke
im vollen zweiwertigen System
5.1 Vorbemerkungen 56
5.2 Konstruktion einer „zweiwertigen , zu Söl„o isomorphen
Matrix 3R£O 57
5.3 Neuer Ansatzpunkt 60
5.4 Konstruktion von L*a 61
5.5 Die Beziehung zwischen L*a und L2jl 64
5.6 Hauptsatz II 67
5.7 Zusammenfassung 69
6. Zusammenfassung 70
Anmerkungen
0. Anmerkungen zur Einleitung 71
1. Anmerkungen zu 1. (S. 13-20) 71
2. Anmerkungen zu 2. (S. 21-36) 72
3. Anmerkungen zu 3. (S. 37-42) 78
4. Anmerkungen zu 4. (S. 43-55) 79
5. Anmerkungen zu 5. (S. 56-69) 79
Bibliographie 81
Verzeichnis der Zeichen und Symbole 102
Sachregister 104
Namenverzeichnis 107
|
| any_adam_object | 1 |
| author | Rutz, Peter |
| author_facet | Rutz, Peter |
| author_role | aut |
| author_sort | Rutz, Peter |
| author_variant | p r pr |
| building | Verbundindex |
| bvnumber | BV000940248 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC126 |
| callnumber-raw | BC126 |
| callnumber-search | BC126 |
| callnumber-sort | BC 3126 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2600 |
| ctrlnum | (OCoLC)823420 (DE-599)BVBBV000940248 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01445nam a2200385 cb4500</leader><controlfield tag="001">BV000940248</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20070917 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">890315s1973 |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3431015158</subfield><subfield code="9">3-431-01515-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)823420</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV000940248</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">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-M468</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC126</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="b">R9396w</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="100" ind1="1" ind2=" "><subfield code="a">Rutz, Peter</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Zweiwertige und mehrwertige Logik</subfield><subfield code="b">ein Beitrag zur Geschichte und Einheit der Logik</subfield><subfield code="c">Peter Rutz</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">München</subfield><subfield code="b">Ehrenwirth</subfield><subfield code="c">1973</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">106 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="490" ind1="1" ind2=" "><subfield code="a">Analytica</subfield><subfield code="v">1</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Many-valued logic</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="830" ind1=" " ind2="0"><subfield code="a">Analytica</subfield><subfield code="v">1</subfield><subfield code="w">(DE-604)BV000894516</subfield><subfield code="9">1</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=000574940&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-000574940</subfield></datafield><datafield tag="980" ind1="4" ind2=" "><subfield code="a">(DE-12)AK18991013</subfield></datafield></record></collection> |
| id | DE-604.BV000940248 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:21:34Z |
| institution | BVB |
| isbn | 3431015158 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-000574940 |
| oclc_num | 823420 |
| open_access_boolean | |
| owner | DE-12 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-824 DE-29 DE-20 DE-29T DE-706 DE-M468 DE-83 DE-188 |
| owner_facet | DE-12 DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-739 DE-824 DE-29 DE-20 DE-29T DE-706 DE-M468 DE-83 DE-188 |
| physical | 106 S. |
| publishDate | 1973 |
| publishDateSearch | 1973 |
| publishDateSort | 1973 |
| publisher | Ehrenwirth |
| record_format | marc |
| series | Analytica |
| series2 | Analytica |
| spelling | Rutz, Peter Verfasser aut Zweiwertige und mehrwertige Logik ein Beitrag zur Geschichte und Einheit der Logik Peter Rutz München Ehrenwirth 1973 106 S. txt rdacontent n rdamedia nc rdacarrier Analytica 1 Many-valued logic Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s DE-604 Analytica 1 (DE-604)BV000894516 1 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000574940&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Rutz, Peter Zweiwertige und mehrwertige Logik ein Beitrag zur Geschichte und Einheit der Logik Analytica Many-valued logic Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 |
| title | Zweiwertige und mehrwertige Logik ein Beitrag zur Geschichte und Einheit der Logik |
| title_auth | Zweiwertige und mehrwertige Logik ein Beitrag zur Geschichte und Einheit der Logik |
| title_exact_search | Zweiwertige und mehrwertige Logik ein Beitrag zur Geschichte und Einheit der Logik |
| title_full | Zweiwertige und mehrwertige Logik ein Beitrag zur Geschichte und Einheit der Logik Peter Rutz |
| title_fullStr | Zweiwertige und mehrwertige Logik ein Beitrag zur Geschichte und Einheit der Logik Peter Rutz |
| title_full_unstemmed | Zweiwertige und mehrwertige Logik ein Beitrag zur Geschichte und Einheit der Logik Peter Rutz |
| title_short | Zweiwertige und mehrwertige Logik |
| title_sort | zweiwertige und mehrwertige logik ein beitrag zur geschichte und einheit der logik |
| title_sub | ein Beitrag zur Geschichte und Einheit der Logik |
| topic | Many-valued logic Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Many-valued logic Mathematische Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=000574940&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000894516 |
| work_keys_str_mv | AT rutzpeter zweiwertigeundmehrwertigelogikeinbeitragzurgeschichteundeinheitderlogik |