Many-Valued Logics: 1: Theoretical Foundations
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1992
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| 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 |
| Beschreibung: | 1 Online-Ressource (XII, 288 p) |
| ISBN: | 9783662084946 9783642081453 |
| DOI: | 10.1007/978-3-662-08494-6 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042423407 | ||
| 003 | DE-604 | ||
| 005 | 20200629 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1992 |||| o||u| ||||||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 |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027858824 | ||
Datensatz im Suchindex
| _version_ | 1804153099114250240 |
|---|---|
| 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>03212nmm a2200505zc 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 |||| o||u| ||||||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><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="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027858824</subfield></datafield></record></collection> |
| id | DE-604.BV042423407 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:13Z |
| 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 |
| spelling | Bolc, Leonard 1934-2013 Verfasser (DE-588)1055754970 aut Many-Valued Logics 1: Theoretical Foundations by Leonard Bolc, Piotr Borowik Berlin, Heidelberg Springer Berlin Heidelberg 1992 1 Online-Ressource (XII, 288 p) txt rdacontent c rdamedia cr rdacarrier 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 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 Borowik, Piotr Sonstige oth https://doi.org/10.1007/978-3-662-08494-6 Verlag Volltext |
| 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 |