Introduction to annotated logics: foundations for paracomplete and paraconsistent reasoning
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Cham [u.a.]
Springer
2015
|
| Series: | Intelligent systems reference library
88 |
| Subjects: | |
| Online Access: | BHS01 BTU01 FAB01 FAW01 FHA01 FHI01 FHN01 FHR01 FKE01 FRO01 FWS01 FWS02 UBY01 Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online-Ressource (X, 190 p. 22 illus) |
| ISBN: | 9783319179124 |
| DOI: | 10.1007/978-3-319-17912-4 |
Staff View
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042544583 | ||
| 003 | DE-604 | ||
| 005 | 20150513 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150506s2015 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319179124 |c Online |9 978-3-319-17912-4 | ||
| 024 | 7 | |a 10.1007/978-3-319-17912-4 |2 doi | |
| 035 | |a (OCoLC)909057195 | ||
| 035 | |a (DE-599)BVBBV042544583 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 |a DE-1043 |a DE-B768 |a DE-Aug4 |a DE-898 |a DE-573 |a DE-859 |a DE-863 |a DE-634 |a DE-92 |a DE-862 |a DE-861 |a DE-706 | ||
| 082 | 0 | |a 006.3 |2 23 | |
| 100 | 1 | |a Abe, Jair Minoro |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Introduction to annotated logics |b foundations for paracomplete and paraconsistent reasoning |c Jair Minoro Abe ; Seiki Akama ; Kazumi Nakamatsu |
| 264 | 1 | |a Cham [u.a.] |b Springer |c 2015 | |
| 300 | |a 1 Online-Ressource (X, 190 p. 22 illus) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Intelligent systems reference library |v 88 | |
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Logic design | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computational Intelligence | |
| 650 | 4 | |a Artificial Intelligence (incl. Robotics) | |
| 650 | 4 | |a Logic Design | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 4 | |a Künstliche Intelligenz | |
| 700 | 1 | |a Akama, Seiki |e Sonstige |4 oth | |
| 700 | 1 | |a Nakamatsu, Kazumi |e Sonstige |0 (DE-588)138245916 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-319-17911-7 |
| 830 | 0 | |a Intelligent systems reference library |v 88 |w (DE-604)BV041145603 |9 88 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-17912-4 |x Verlag |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978589&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978589&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-ENG | ||
| 940 | 1 | |q ZDB-2-ENG_2015 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027978589 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-17912-4 |l BHS01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-17912-4 |l BTU01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-17912-4 |l FAB01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-17912-4 |l FAW01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-17912-4 |l FHA01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-17912-4 |l FHI01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-17912-4 |l FHN01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-17912-4 |l FHR01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-17912-4 |l FKE01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-17912-4 |l FRO01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-17912-4 |l FWS01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-17912-4 |l FWS02 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-17912-4 |l UBY01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
Record in the Search Index
| DE-BY-FWS_katkey | 559650 |
|---|---|
| _version_ | 1824554424506253312 |
| adam_text | INTRODUCTION TO ANNOTATED LOGICS
/ ABE, JAIR MINORO
: 2015
TABLE OF CONTENTS / INHALTSVERZEICHNIS
INTRODUCTION
PROPOSITIONAL ANNOTATED LOGICS P
PREDICATE ANNOTATED LOGICS Q
FORMAL ISSUES
VARIANTS AND RELATED SYSTEMS
APPLICATIONS
CONCLUSIONS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
INTRODUCTION TO ANNOTATED LOGICS
/ ABE, JAIR MINORO
: 2015
ABSTRACT / INHALTSTEXT
THIS BOOK IS WRITTEN AS AN INTRODUCTION TO ANNOTATED LOGICS. IT PROVIDES
LOGICAL FOUNDATIONS FOR ANNOTATED LOGICS, DISCUSSES SOME INTERESTING
APPLICATIONS OF THESE LOGICS AND ALSO INCLUDES THE AUTHORS
CONTRIBUTIONS TO ANNOTATED LOGICS. THE CENTRAL IDEA OF THE BOOK IS TO
SHOW HOW ANNOTATED LOGIC CAN BE APPLIED AS A TOOL TO SOLVE PROBLEMS OF
TECHNOLOGY AND OF APPLIED SCIENCE. THE BOOK WILL BE OF INTEREST TO PURE
AND APPLIED LOGICIANS, PHILOSOPHERS, AND COMPUTER SCIENTISTS AS A
MONOGRAPH ON A KIND OF PARACONSISTENT LOGIC. BUT, THE LAYMAN WILL ALSO
TAKE PROFIT FROM ITS READING
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author | Abe, Jair Minoro |
| author_GND | (DE-588)138245916 |
| author_facet | Abe, Jair Minoro |
| author_role | aut |
| author_sort | Abe, Jair Minoro |
| author_variant | j m a jm jma |
| building | Verbundindex |
| bvnumber | BV042544583 |
| collection | ZDB-2-ENG |
| ctrlnum | (OCoLC)909057195 (DE-599)BVBBV042544583 |
| dewey-full | 006.3 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.3 |
| dewey-search | 006.3 |
| dewey-sort | 16.3 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.1007/978-3-319-17912-4 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03491nmm a2200649zcb4500</leader><controlfield tag="001">BV042544583</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150513 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150506s2015 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319179124</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-17912-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-17912-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)909057195</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042544583</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-1046</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-B768</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Abe, Jair Minoro</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introduction to annotated logics</subfield><subfield code="b">foundations for paracomplete and paraconsistent reasoning</subfield><subfield code="c">Jair Minoro Abe ; Seiki Akama ; Kazumi Nakamatsu</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 190 p. 22 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">Intelligent systems reference library</subfield><subfield code="v">88</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computational Intelligence</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">Logic Design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Künstliche Intelligenz</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Akama, Seiki</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nakamatsu, Kazumi</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)138245916</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-319-17911-7</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Intelligent systems reference library</subfield><subfield code="v">88</subfield><subfield code="w">(DE-604)BV041145603</subfield><subfield code="9">88</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-17912-4</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027978589&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</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=027978589&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-ENG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-ENG_2015</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027978589</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-17912-4</subfield><subfield code="l">BHS01</subfield><subfield code="p">ZDB-2-ENG</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-17912-4</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-ENG</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-17912-4</subfield><subfield code="l">FAB01</subfield><subfield code="p">ZDB-2-ENG</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-17912-4</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-2-ENG</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-17912-4</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-ENG</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-17912-4</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-ENG</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-17912-4</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-ENG</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-17912-4</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-ENG</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-17912-4</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-ENG</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-17912-4</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-ENG</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-17912-4</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-ENG</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-17912-4</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-ENG</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-17912-4</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV042544583 |
| illustrated | Not Illustrated |
| indexdate | 2025-02-20T06:51:33Z |
| institution | BVB |
| isbn | 9783319179124 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027978589 |
| oclc_num | 909057195 |
| open_access_boolean | |
| owner | DE-1046 DE-1043 DE-B768 DE-Aug4 DE-898 DE-BY-UBR DE-573 DE-859 DE-863 DE-BY-FWS DE-634 DE-92 DE-862 DE-BY-FWS DE-861 DE-706 |
| owner_facet | DE-1046 DE-1043 DE-B768 DE-Aug4 DE-898 DE-BY-UBR DE-573 DE-859 DE-863 DE-BY-FWS DE-634 DE-92 DE-862 DE-BY-FWS DE-861 DE-706 |
| physical | 1 Online-Ressource (X, 190 p. 22 illus) |
| psigel | ZDB-2-ENG ZDB-2-ENG_2015 |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| publisher | Springer |
| record_format | marc |
| series | Intelligent systems reference library |
| series2 | Intelligent systems reference library |
| spellingShingle | Abe, Jair Minoro Introduction to annotated logics foundations for paracomplete and paraconsistent reasoning Intelligent systems reference library Engineering Logic design Artificial intelligence Computational Intelligence Artificial Intelligence (incl. Robotics) Logic Design Ingenieurwissenschaften Künstliche Intelligenz |
| title | Introduction to annotated logics foundations for paracomplete and paraconsistent reasoning |
| title_auth | Introduction to annotated logics foundations for paracomplete and paraconsistent reasoning |
| title_exact_search | Introduction to annotated logics foundations for paracomplete and paraconsistent reasoning |
| title_full | Introduction to annotated logics foundations for paracomplete and paraconsistent reasoning Jair Minoro Abe ; Seiki Akama ; Kazumi Nakamatsu |
| title_fullStr | Introduction to annotated logics foundations for paracomplete and paraconsistent reasoning Jair Minoro Abe ; Seiki Akama ; Kazumi Nakamatsu |
| title_full_unstemmed | Introduction to annotated logics foundations for paracomplete and paraconsistent reasoning Jair Minoro Abe ; Seiki Akama ; Kazumi Nakamatsu |
| title_short | Introduction to annotated logics |
| title_sort | introduction to annotated logics foundations for paracomplete and paraconsistent reasoning |
| title_sub | foundations for paracomplete and paraconsistent reasoning |
| topic | Engineering Logic design Artificial intelligence Computational Intelligence Artificial Intelligence (incl. Robotics) Logic Design Ingenieurwissenschaften Künstliche Intelligenz |
| topic_facet | Engineering Logic design Artificial intelligence Computational Intelligence Artificial Intelligence (incl. Robotics) Logic Design Ingenieurwissenschaften Künstliche Intelligenz |
| url | https://doi.org/10.1007/978-3-319-17912-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978589&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027978589&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV041145603 |
| work_keys_str_mv | AT abejairminoro introductiontoannotatedlogicsfoundationsforparacompleteandparaconsistentreasoning AT akamaseiki introductiontoannotatedlogicsfoundationsforparacompleteandparaconsistentreasoning AT nakamatsukazumi introductiontoannotatedlogicsfoundationsforparacompleteandparaconsistentreasoning |