Mehrwertige Logik: eine Einführung in Theorie und Anwendungen
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Berlin
Akademie-Verl.
1989
|
| Schriftenreihe: | Logica nova
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturverz. S. 346 - 365 |
| Beschreibung: | X, 375 S. |
| ISBN: | 3050007656 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV002487202 | ||
| 003 | DE-604 | ||
| 005 | 20221005 | ||
| 007 | t | ||
| 008 | 900102s1989 |||| 00||| ger d | ||
| 020 | |a 3050007656 |9 3-05-000765-6 | ||
| 035 | |a (OCoLC)21997523 | ||
| 035 | |a (DE-599)BVBBV002487202 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-19 |a DE-91 |a DE-384 |a DE-473 |a DE-703 |a DE-739 |a DE-824 |a DE-29 |a DE-29T |a DE-355 |a DE-M468 |a DE-706 |a DE-634 |a DE-83 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA9.45 | |
| 082 | 0 | |a 511.22 |b G718m |2 20 | |
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 084 | |a CC 2400 |0 (DE-625)17608: |2 rvk | ||
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a PHI 370f |2 stub | ||
| 084 | |a MAT 030f |2 stub | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Gottwald, Siegfried |d 1943-2015 |e Verfasser |0 (DE-588)117710652 |4 aut | |
| 245 | 1 | 0 | |a Mehrwertige Logik |b eine Einführung in Theorie und Anwendungen |
| 264 | 1 | |a Berlin |b Akademie-Verl. |c 1989 | |
| 300 | |a X, 375 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Logica nova | |
| 500 | |a Literaturverz. S. 346 - 365 | ||
| 650 | 7 | |a Meerwaardige logica |2 gtt | |
| 650 | 4 | |a Induction (Mathematics) | |
| 650 | 4 | |a Many-valued logic | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mehrwertige Logik |0 (DE-588)4169335-8 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mehrwertige Logik |0 (DE-588)4169335-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001603588&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-001603588 | ||
Datensatz im Suchindex
| _version_ | 1804116895599689728 |
|---|---|
| adam_text | SIEGFRIED GOTTWALD MEHRWERTIGE LOGIK EINE EINFUEHRUNG IN THEORIE UND
ANWENDUNGEN AKADEMIE-VERLAG BERLIN 1989 INHALTSVERZEICHNIS VORWORT . . .
* IX 1. EINLEITUNG 1 1.1. KLASSISCHE UND MEHRWERTIGE LOGIK 1 1.2. ZUR
GESCHICHTE DER MEHRWERTIGEN LOGIK 5 1.3. WEITERHIN BENUTZTE BEGRIFFE UND
BEZEICHNUNGEN 9 2. MEHRWERTIGE AUSSAGENLOGIK 12 2.1. DIE FORMALE SPRACHE
DER AUSSAGENLOGIK 12 2.2. AUSGEZEICHNETE QUASI WAHRHEITSWERTE,
TAUTOLOGIEN UND FOL- GERUNGEN 18 2.3. SPEZIELLE JUNKTOREN UND MENGEN VON
QUASIWAHRHEITSWERTEN . . 27 2.3.1. WAHRHEITSWERTFUNKTIONEN FUER
NEGATIONEN 30 2.3.2. WAHRHEITSWERTFUNKTIONEN FUER KONJUNKTIONEN 31 2.3.3.
WAHRHEITSWERTFUNKTIONEN FUER ALTERNATIVEN 32 2.3.4.
WAHRHEITSWERTFUNKTIONEN FUER IMPLIKATIONEN 34 2.3.5. DIE
WAHRHEITSWERTFUNKTIONEN J ( 35 2.4. DIE ENTSCHEIDBARKEIT MEHRWERTIGER
AUSSAGENLOGISCHER SYSTEME 36 2.5. DIE AXIOMATISIERBARKEIT MEHRWERTIGER
AUSSAGENLOGISCHER SYSTEME 37 2.6. DIE FORMALE ERFASSUNG DER
FOLGERUNGSBEZIEHUNG 53 2.7. FUNKTIONALE VOLLSTAENDIGKEIT . . . . * 69
2.8. NORMALFORMDARSTELLUNGEN 81 3. SPEZIELLE SYSTEME MEHRWERTIGER
AUSSAGENLOGIK 84 3.1. DIE LUKASIEWICZSCHEN AUSSAGENLOGISCHEN SYSTEME 84
3.1.1. WICHTIGE TAUTOLOGIEN DER T-SYSTEME 86 3.1.2.
CHARAKTERISIERBARKEIT DER ANZAHL DER QUASIWAHRHEITSWERTE ... 90 3.1.3.
AXIOMATISIERBARKEIT 99 3.1.4. ENTSCHEIDBARKEIT VON T, 105 3.1.5.
DARSTELLBARKEIT VON WAHRHEITSWERTFUNKTIONEN 107 3.2. ALGEBRAISCHE
STRUKTUREN FUER DIE LXJKASIEWICZSCHEN SYSTEME 121 3.2.1. MV-ALGEBREN
122 3.2.2. MV-ALGEBREN UND AXIOMATISIERUNGEN DER L-SYSTEME 134 3.2.3.
LUKASIEWICZ-ALGEBREN . . 144 3.3. DIE POSTSCHEN AUSSAGENLOGISCHEN
SYSTEME 146 3.4. DIE GOEDBLSCHEN AUSSAGENLOGISCHEN SYSTEME 155 3.5.
SPEZIELLE DREIWERTIGE AUSSAGENLOGISCHE SYSTEME . . . 165 3.6.
ALLGEMEINERE JUNKTORENKIASSEN UND QUASIWAHRHEITSWERTSTRUK- TUREN 170
3.6.1. EINE CHARAKTERISIERUNG DER WAHRHEITSWERTFUNKTIONEN ET X UND VE 1
170 3.6.2. T-NORMEN ALS WAHRHEITSWERTFUNKTIONEN FUER KONJUNKTIONEN. . 172
3.6.3. MEHRDIMENSIONALE QUASIWAHRHEITSWERTSTRUKTUREN 179 4. MEHRWERTIGE
PRAEDIKATENLOGIK 183 4.1. MEHRWERTIGE PRAEDIKATE 183 4.2. DIE FORMALE
SPRACHE DER PRAEDIKATENLOGIK UND IHRE MEHRWER- TIGEN INTERPRETATIONEN 184
4.3. ZUR ERFUELLBARKEIT PRAEDIKATENLOGISCHER AUSDRUCKSMENGEN . . . 192 4.4
V DIE AXIOMATISIERBARKEIT MEHRWERTIGER PRAEDIKATENLOGISCHER SYSTEME 207
4.5. DIE LUKASIEWICZSCHEN PRAEDIKATENLOGISCHEN SYSTEME 218 4.5.1.
WICHTIGE ALLGEMEINGUELTIGE AUSDRUECKE 219 4.5.2. RESULTATE UEBER DIE
T-SYSTEME 223 4.5.3. DAS UNENDLICHWERTIGE T-SYSTEM 230 4.6.
PRAEDIKATENLOGISCHE SYSTEME MIT MEHRWERTIGER IDENTITAET .... 237 4.6.1.
MEHRWERTIGE IDENTITAETSBEZIEHUNGEN 238 4.6.2. *ABSOLUTE
IDENTITAETSBEZIEHUNGEN . . : 240 4.6.3. *ECHT MEHRWERTIGE
IDENTITAETSBEZIEHUNGEN - 243 5. ANWENDUNGEN DER MEHRWERTIGEN LOGIK 251
5.1. DAS ANWENDUNGSPROBLEM 251 5.2. QUASIWAHRHEITSWERTE UND ALETHISCHE
MODALITAETEN 252 5.3. MEHRWERTIGE UND INTUITIONISTISCHE LOGIK 258 5.4.
MEHRWERTIGE LOGIK UND PRAESUPPOSITIONSTHEORIE 261 5.5.
UNABHAENGIGKEITSBEWEISE I: AUSSAGENLOGISCH 267 5.6.
UNABHAENGIGKEITSBEWEISE II: PRAEDIKATENLOGISCH 271 5.7.
KONSISTENZUNTERSUCHUNGEN ZUR MENGENLEHRE 291 5.8. UNSCHARFE MENGEN,
VAGHEIT VON BEGRIFFEN UND MEHRWERTIGE LOGIK 298 VI 5.8.1. VAGHEIT VON
BEGRIFFEN UND UNSCHARFE MENGEN ; . 298 5.8.2. GRUNDEIGENSCHAFTEN
UNSCHARFER MENGEN 303 5.8.3. GLEICHUNGEN FUER UNSCHARFE ZAHLEN 315 5.8.4.
UNSCHARFE RELATIONEN 324 5.9. ZWEI AUSSERGEWOEHNLICHE VERALLGEMEINERUNGEN
333 5.9.1. UNSCHARFE FOLGERUNGSBEZIEHUNG 334 5.9.2. APPROXIMATIVES
SCHLIESSEN 337 LITERATURVERZEICHNIS 346 SYMBOLVERZEICHNIS 366
NAMENVERZEICHNIS : 369 SACHVERZEICHNIS 373 VII
|
| any_adam_object | 1 |
| author | Gottwald, Siegfried 1943-2015 |
| author_GND | (DE-588)117710652 |
| author_facet | Gottwald, Siegfried 1943-2015 |
| author_role | aut |
| author_sort | Gottwald, Siegfried 1943-2015 |
| author_variant | s g sg |
| building | Verbundindex |
| bvnumber | BV002487202 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9.45 |
| callnumber-search | QA9.45 |
| callnumber-sort | QA 19.45 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 125 CC 2400 CC 2500 CC 2600 SK 130 |
| classification_tum | PHI 370f MAT 030f |
| ctrlnum | (OCoLC)21997523 (DE-599)BVBBV002487202 |
| dewey-full | 511.22 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.22 |
| dewey-search | 511.22 |
| dewey-sort | 3511.22 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik Philosophie / Ethik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01933nam a2200517 c 4500</leader><controlfield tag="001">BV002487202</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20221005 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">900102s1989 |||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3050007656</subfield><subfield code="9">3-05-000765-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)21997523</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002487202</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-19</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-M468</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9.45</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.22</subfield><subfield code="b">G718m</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2400</subfield><subfield code="0">(DE-625)17608:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</subfield><subfield code="2">rvk</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">PHI 370f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gottwald, Siegfried</subfield><subfield code="d">1943-2015</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)117710652</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mehrwertige Logik</subfield><subfield code="b">eine Einführung in Theorie und Anwendungen</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Akademie-Verl.</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 375 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="0" ind2=" "><subfield code="a">Logica nova</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. 346 - 365</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Meerwaardige logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Induction (Mathematics)</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">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mehrwertige Logik</subfield><subfield code="0">(DE-588)4169335-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mehrwertige Logik</subfield><subfield code="0">(DE-588)4169335-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=001603588&sequence=000001&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-001603588</subfield></datafield></record></collection> |
| id | DE-604.BV002487202 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T15:45:47Z |
| institution | BVB |
| isbn | 3050007656 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001603588 |
| oclc_num | 21997523 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-703 DE-739 DE-824 DE-29 DE-29T DE-355 DE-BY-UBR DE-M468 DE-706 DE-634 DE-83 DE-11 DE-188 |
| owner_facet | DE-19 DE-BY-UBM DE-91 DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-703 DE-739 DE-824 DE-29 DE-29T DE-355 DE-BY-UBR DE-M468 DE-706 DE-634 DE-83 DE-11 DE-188 |
| physical | X, 375 S. |
| publishDate | 1989 |
| publishDateSearch | 1989 |
| publishDateSort | 1989 |
| publisher | Akademie-Verl. |
| record_format | marc |
| series2 | Logica nova |
| spelling | Gottwald, Siegfried 1943-2015 Verfasser (DE-588)117710652 aut Mehrwertige Logik eine Einführung in Theorie und Anwendungen Berlin Akademie-Verl. 1989 X, 375 S. txt rdacontent n rdamedia nc rdacarrier Logica nova Literaturverz. S. 346 - 365 Meerwaardige logica gtt Induction (Mathematics) Many-valued logic Logik (DE-588)4036202-4 gnd rswk-swf Mehrwertige Logik (DE-588)4169335-8 gnd rswk-swf Mehrwertige Logik (DE-588)4169335-8 s DE-604 Logik (DE-588)4036202-4 s HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001603588&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Gottwald, Siegfried 1943-2015 Mehrwertige Logik eine Einführung in Theorie und Anwendungen Meerwaardige logica gtt Induction (Mathematics) Many-valued logic Logik (DE-588)4036202-4 gnd Mehrwertige Logik (DE-588)4169335-8 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4169335-8 |
| title | Mehrwertige Logik eine Einführung in Theorie und Anwendungen |
| title_auth | Mehrwertige Logik eine Einführung in Theorie und Anwendungen |
| title_exact_search | Mehrwertige Logik eine Einführung in Theorie und Anwendungen |
| title_full | Mehrwertige Logik eine Einführung in Theorie und Anwendungen |
| title_fullStr | Mehrwertige Logik eine Einführung in Theorie und Anwendungen |
| title_full_unstemmed | Mehrwertige Logik eine Einführung in Theorie und Anwendungen |
| title_short | Mehrwertige Logik |
| title_sort | mehrwertige logik eine einfuhrung in theorie und anwendungen |
| title_sub | eine Einführung in Theorie und Anwendungen |
| topic | Meerwaardige logica gtt Induction (Mathematics) Many-valued logic Logik (DE-588)4036202-4 gnd Mehrwertige Logik (DE-588)4169335-8 gnd |
| topic_facet | Meerwaardige logica Induction (Mathematics) Many-valued logic Logik Mehrwertige Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001603588&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT gottwaldsiegfried mehrwertigelogikeineeinfuhrungintheorieundanwendungen |