Many-Valued Logics: 1: Theoretical Foundations
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1992
|
| Schlagwörter: | |
| Links: | https://doi.org/10.1007/978-3-662-08494-6 |
| Beschreibung: | Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems were developed by J. Lukasiewicz in Poland and E.Post in the U.S.A. in the 1920s, and since then the field has expanded dramatically as the applicability of the systems to other philosophical and semantic problems was recognized. Intuitionisticlogic, for example, arose from deep problems in the foundations of mathematics. Fuzzy logics, approximation logics, and probability logics all address questions that classical logic alone cannot answer. All these interpretations of many-valued calculi motivate specific formal systems thatallow detailed mathematical treatment. In this volume, the authors are concerned with finite-valued logics, and especially with three-valued logical calculi. Matrix constructions, axiomatizations of propositional and predicate calculi, syntax, semantic structures, and methodology are discussed. Separate chapters deal with intuitionistic logic, fuzzy logics, approximation logics, and probability logics. These systems all find application in practice, in automatic inference processes, which have been decisive for the intensive development of these logics. This volume acquaints the reader with theoretical fundamentals of many-valued logics. It is intended to be the first of a two-volume work. The second volume will deal with practical applications and methods of automated reasoning using many-valued logics |
| Umfang: | 1 Online-Ressource (XII, 288 p) |
| ISBN: | 9783662084946 9783642081453 |
| DOI: | 10.1007/978-3-662-08494-6 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042423407 | ||
| 003 | DE-604 | ||
| 005 | 20200629 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1992 xx o|||| 00||| eng d | ||
| 020 | |a 9783662084946 |c Online |9 978-3-662-08494-6 | ||
| 020 | |a 9783642081453 |c Print |9 978-3-642-08145-3 | ||
| 024 | 7 | |a 10.1007/978-3-662-08494-6 |2 doi | |
| 035 | |a (OCoLC)863984104 | ||
| 035 | |a (DE-599)BVBBV042423407 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Bolc, Leonard |d 1934-2013 |e Verfasser |0 (DE-588)1055754970 |4 aut | |
| 245 | 1 | 0 | |a Many-Valued Logics |b 1: Theoretical Foundations |c by Leonard Bolc, Piotr Borowik |
| 264 | 1 | |a Berlin, Heidelberg |b Springer Berlin Heidelberg |c 1992 | |
| 300 | |a 1 Online-Ressource (XII, 288 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems were developed by J. Lukasiewicz in Poland and E.Post in the U.S.A. in the 1920s, and since then the field has expanded dramatically as the applicability of the systems to other philosophical and semantic problems was recognized. Intuitionisticlogic, for example, arose from deep problems in the foundations of mathematics. Fuzzy logics, approximation logics, and probability logics all address questions that classical logic alone cannot answer. All these interpretations of many-valued calculi motivate specific formal systems thatallow detailed mathematical treatment. In this volume, the authors are concerned with finite-valued logics, and especially with three-valued logical calculi. Matrix constructions, axiomatizations of propositional and predicate calculi, syntax, semantic structures, and methodology are discussed. Separate chapters deal with intuitionistic logic, fuzzy logics, approximation logics, and probability logics. These systems all find application in practice, in automatic inference processes, which have been decisive for the intensive development of these logics. This volume acquaints the reader with theoretical fundamentals of many-valued logics. It is intended to be the first of a two-volume work. The second volume will deal with practical applications and methods of automated reasoning using many-valued logics | ||
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Informatik | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 650 | 4 | |a Mathematik | |
| 700 | 1 | |a Borowik, Piotr |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-662-08494-6 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA | ||
| 912 | |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-027858824 | |
Datensatz im Suchindex
| DE-BY-TUM_katkey | 2070416 |
|---|---|
| _version_ | 1821931362849914880 |
| any_adam_object | |
| author | Bolc, Leonard 1934-2013 |
| author_GND | (DE-588)1055754970 |
| author_facet | Bolc, Leonard 1934-2013 |
| author_role | aut |
| author_sort | Bolc, Leonard 1934-2013 |
| author_variant | l b lb |
| building | Verbundindex |
| bvnumber | BV042423407 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)863984104 (DE-599)BVBBV042423407 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| doi_str_mv | 10.1007/978-3-662-08494-6 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03227nam a2200517zc 4500</leader><controlfield tag="001">BV042423407</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200629 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1992 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662084946</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-662-08494-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642081453</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-642-08145-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-662-08494-6</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)863984104</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042423407</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</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="100" ind1="1" ind2=" "><subfield code="a">Bolc, Leonard</subfield><subfield code="d">1934-2013</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1055754970</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Many-Valued Logics</subfield><subfield code="b">1: Theoretical Foundations</subfield><subfield code="c">by Leonard Bolc, Piotr Borowik</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin, Heidelberg</subfield><subfield code="b">Springer Berlin Heidelberg</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 288 p)</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="500" ind1=" " ind2=" "><subfield code="a">Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems were developed by J. Lukasiewicz in Poland and E.Post in the U.S.A. in the 1920s, and since then the field has expanded dramatically as the applicability of the systems to other philosophical and semantic problems was recognized. Intuitionisticlogic, for example, arose from deep problems in the foundations of mathematics. Fuzzy logics, approximation logics, and probability logics all address questions that classical logic alone cannot answer. All these interpretations of many-valued calculi motivate specific formal systems thatallow detailed mathematical treatment. In this volume, the authors are concerned with finite-valued logics, and especially with three-valued logical calculi. Matrix constructions, axiomatizations of propositional and predicate calculi, syntax, semantic structures, and methodology are discussed. Separate chapters deal with intuitionistic logic, fuzzy logics, approximation logics, and probability logics. These systems all find application in practice, in automatic inference processes, which have been decisive for the intensive development of these logics. This volume acquaints the reader with theoretical fundamentals of many-valued logics. It is intended to be the first of a two-volume work. The second volume will deal with practical applications and methods of automated reasoning using many-valued logics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</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">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence (incl. Robotics)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Borowik, Piotr</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-662-08494-6</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027858824</subfield></datafield></record></collection> |
| id | DE-604.BV042423407 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T17:10:48Z |
| institution | BVB |
| isbn | 9783662084946 9783642081453 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027858824 |
| oclc_num | 863984104 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (XII, 288 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | Springer Berlin Heidelberg |
| record_format | marc |
| spellingShingle | Bolc, Leonard 1934-2013 Many-Valued Logics 1: Theoretical Foundations Mathematics Logic design Computer science Artificial intelligence Logic, Symbolic and mathematical Mathematical Logic and Foundations Logics and Meanings of Programs Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Informatik Künstliche Intelligenz Mathematik |
| title | Many-Valued Logics 1: Theoretical Foundations |
| title_auth | Many-Valued Logics 1: Theoretical Foundations |
| title_exact_search | Many-Valued Logics 1: Theoretical Foundations |
| title_full | Many-Valued Logics 1: Theoretical Foundations by Leonard Bolc, Piotr Borowik |
| title_fullStr | Many-Valued Logics 1: Theoretical Foundations by Leonard Bolc, Piotr Borowik |
| title_full_unstemmed | Many-Valued Logics 1: Theoretical Foundations by Leonard Bolc, Piotr Borowik |
| title_short | Many-Valued Logics |
| title_sort | many valued logics 1 theoretical foundations |
| title_sub | 1: Theoretical Foundations |
| topic | Mathematics Logic design Computer science Artificial intelligence Logic, Symbolic and mathematical Mathematical Logic and Foundations Logics and Meanings of Programs Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Informatik Künstliche Intelligenz Mathematik |
| topic_facet | Mathematics Logic design Computer science Artificial intelligence Logic, Symbolic and mathematical Mathematical Logic and Foundations Logics and Meanings of Programs Artificial Intelligence (incl. Robotics) Mathematical Logic and Formal Languages Informatik Künstliche Intelligenz Mathematik |
| url | https://doi.org/10.1007/978-3-662-08494-6 |
| work_keys_str_mv | AT bolcleonard manyvaluedlogics1theoreticalfoundations AT borowikpiotr manyvaluedlogics1theoreticalfoundations |