Logical studies of paraconsistent reasoning in science and mathematics:
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2016]
|
| Schriftenreihe: | Trends in logic
volume 45 |
| Schlagworte: | |
| Online-Zugang: | BTU01 FHR01 FRO01 TUM01 UBM01 UBT01 UBW01 UEI01 UPA01 Volltext Inhaltsverzeichnis |
| Beschreibung: | 1 Online-Ressource (VI, 221 Seiten, 5 illus) |
| ISBN: | 9783319402208 |
| DOI: | 10.1007/978-3-319-40220-8 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV043990937 | ||
| 003 | DE-604 | ||
| 005 | 20220311 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170110s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319402208 |c Online |9 978-3-319-40220-8 | ||
| 024 | 7 | |a 10.1007/978-3-319-40220-8 |2 doi | |
| 035 | |a (ZDB-2-SMA)978-3-319-40220-8 | ||
| 035 | |a (OCoLC)968227354 | ||
| 035 | |a (DE-599)BVBBV043990937 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91 |a DE-19 |a DE-20 |a DE-739 |a DE-634 |a DE-898 |a DE-861 |a DE-703 |a DE-824 |a DE-83 | ||
| 082 | 0 | |a 160 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 245 | 1 | 0 | |a Logical studies of paraconsistent reasoning in science and mathematics |c Holger Andreas, Peter Verdée, editors |
| 264 | 1 | |a Cham |b Springer |c [2016] | |
| 300 | |a 1 Online-Ressource (VI, 221 Seiten, 5 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Trends in logic |v volume 45 | |
| 650 | 4 | |a Philosophy | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Philosophie | |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 700 | 1 | |a Andreas, Holger |4 edt | |
| 700 | 1 | |a Verdée, Peter |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-3-319-40218-5 |
| 830 | 0 | |a Trends in logic |v volume 45 |w (DE-604)BV043326888 |9 45 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-40220-8 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 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=029399144&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 912 | |a ZDB-2-SMA | ||
| 940 | 1 | |q ZDB-2-SMA_2016 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029399144 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-40220-8 |l BTU01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-40220-8 |l FHR01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-40220-8 |l FRO01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-40220-8 |l TUM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-40220-8 |l UBM01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-40220-8 |l UBT01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-40220-8 |l UBW01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-40220-8 |l UEI01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-40220-8 |l UPA01 |p ZDB-2-SMA |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176964965105664 |
|---|---|
| adam_text | Titel: Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Autor: Andreas, Holger
Jahr: 2016
Contents
Paraconsistent Reasoning in Science and Mathematics:
Introduction................................................. 1
Holger Andreas and Peter Verdee
Adaptive Proofs for Networks of Partial Structures................. 17
Holger Andreas and Peter Verdee
Inconsistency in Ceteris Paribus Imagination...................... 47
Francesco Berto
On the Preservation of Reliability............................... 65
Bryson Brown
Prospects for Triviality........................................ 81
Luis Estrada-Gonzälez
On Gluts in Mathematics and Science............................ 91
Andreas Kapsner
Contradictoriness, Paraconsistent Negation and Non-intended
Models of Classical Logic...................................... 103
Carlos A. Oller
From Paraconsistent Logic to Dialetheic Logic..................... 111
Hitoshi Omori
Paradoxes of Expression....................................... 135
Martin Pleitz
Dialetheism in the Structure of Phenomenal Time.................. 145
Corry Shores
Saving Proof from Paradox: Gödel s Paradox and the Inconsistency
of Informal Mathematics...................................... 159
Fenner Stanley Tanswell
vi Contents
On the Methodology of Paraconsistent Logic...................... 175
Heinrich Wansing and Sergei P. Odintsov
Paraconsistent Computation and Dialetheic Machines............... 205
Zach Weber
|
| any_adam_object | 1 |
| author2 | Andreas, Holger Verdée, Peter |
| author2_role | edt edt |
| author2_variant | h a ha p v pv |
| author_facet | Andreas, Holger Verdée, Peter |
| building | Verbundindex |
| bvnumber | BV043990937 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA |
| ctrlnum | (ZDB-2-SMA)978-3-319-40220-8 (OCoLC)968227354 (DE-599)BVBBV043990937 |
| 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 | Mathematik Philosophie |
| doi_str_mv | 10.1007/978-3-319-40220-8 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02703nmm a2200577zcb4500</leader><controlfield tag="001">BV043990937</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220311 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170110s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319402208</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-40220-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-40220-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SMA)978-3-319-40220-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)968227354</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043990937</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logical studies of paraconsistent reasoning in science and mathematics</subfield><subfield code="c">Holger Andreas, Peter Verdée, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VI, 221 Seiten, 5 illus)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Trends in logic</subfield><subfield code="v">volume 45</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Andreas, Holger</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Verdée, Peter</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-319-40218-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Trends in logic</subfield><subfield code="v">volume 45</subfield><subfield code="w">(DE-604)BV043326888</subfield><subfield code="9">45</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-40220-8</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</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=029399144&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029399144</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-40220-8</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-40220-8</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-40220-8</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-40220-8</subfield><subfield code="l">TUM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-40220-8</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-40220-8</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-40220-8</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-40220-8</subfield><subfield code="l">UEI01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-40220-8</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SMA</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV043990937 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:40:33Z |
| institution | BVB |
| isbn | 9783319402208 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029399144 |
| oclc_num | 968227354 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-739 DE-634 DE-898 DE-BY-UBR DE-861 DE-703 DE-824 DE-83 |
| owner_facet | DE-91 DE-BY-TUM DE-19 DE-BY-UBM DE-20 DE-739 DE-634 DE-898 DE-BY-UBR DE-861 DE-703 DE-824 DE-83 |
| physical | 1 Online-Ressource (VI, 221 Seiten, 5 illus) |
| psigel | ZDB-2-SMA ZDB-2-SMA_2016 |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series | Trends in logic |
| series2 | Trends in logic |
| spelling | Logical studies of paraconsistent reasoning in science and mathematics Holger Andreas, Peter Verdée, editors Cham Springer [2016] 1 Online-Ressource (VI, 221 Seiten, 5 illus) txt rdacontent c rdamedia cr rdacarrier Trends in logic volume 45 Philosophy Logic Mathematical logic Mathematical Logic and Foundations Philosophie (DE-588)4143413-4 Aufsatzsammlung gnd-content Andreas, Holger edt Verdée, Peter edt Erscheint auch als Druck-Ausgabe 978-3-319-40218-5 Trends in logic volume 45 (DE-604)BV043326888 45 https://doi.org/10.1007/978-3-319-40220-8 Verlag URL des Erstveröffentlichers Volltext HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029399144&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Logical studies of paraconsistent reasoning in science and mathematics Trends in logic Philosophy Logic Mathematical logic Mathematical Logic and Foundations Philosophie |
| subject_GND | (DE-588)4143413-4 |
| title | Logical studies of paraconsistent reasoning in science and mathematics |
| title_auth | Logical studies of paraconsistent reasoning in science and mathematics |
| title_exact_search | Logical studies of paraconsistent reasoning in science and mathematics |
| title_full | Logical studies of paraconsistent reasoning in science and mathematics Holger Andreas, Peter Verdée, editors |
| title_fullStr | Logical studies of paraconsistent reasoning in science and mathematics Holger Andreas, Peter Verdée, editors |
| title_full_unstemmed | Logical studies of paraconsistent reasoning in science and mathematics Holger Andreas, Peter Verdée, editors |
| title_short | Logical studies of paraconsistent reasoning in science and mathematics |
| title_sort | logical studies of paraconsistent reasoning in science and mathematics |
| topic | Philosophy Logic Mathematical logic Mathematical Logic and Foundations Philosophie |
| topic_facet | Philosophy Logic Mathematical logic Mathematical Logic and Foundations Philosophie Aufsatzsammlung |
| url | https://doi.org/10.1007/978-3-319-40220-8 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=029399144&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV043326888 |
| work_keys_str_mv | AT andreasholger logicalstudiesofparaconsistentreasoninginscienceandmathematics AT verdeepeter logicalstudiesofparaconsistentreasoninginscienceandmathematics |