Essays on non-classical logic:
This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence. The problems addressed range from methodological issues in paraconsistent a...
Gespeichert in:
Format: | Elektronisch E-Book |
---|---|
Sprache: | English |
Veröffentlicht: |
Singapore
World Scientific Pub. Co.
c2001
|
Schriftenreihe: | Advances in logic
v. 1 |
Schlagworte: | |
Online-Zugang: | FHN01 URL des Erstveroeffentlichers |
Zusammenfassung: | This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence. The problems addressed range from methodological issues in paraconsistent and deontic logic to the revision theory of truth and infinite Turing machines. The book identifies a number of important current trends in contemporary non-classical logic. Among them are dialogical and substructural logic, the classification of concepts of negation, truthmaker theory, and mathematical and foundational aspects of modal and temporal logic |
Beschreibung: | xi, 262 p. ill |
ISBN: | 9789812799746 |
Internformat
MARC
LEADER | 00000nmm a2200000zcb4500 | ||
---|---|---|---|
001 | BV044636044 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | cr|uuu---uuuuu | ||
008 | 171120s2001 |||| o||u| ||||||eng d | ||
020 | |a 9789812799746 |9 978-981-279-974-6 | ||
024 | 7 | |a 10.1142/4799 |2 doi | |
035 | |a (ZDB-124-WOP)00004160 | ||
035 | |a (OCoLC)1012623478 | ||
035 | |a (DE-599)BVBBV044636044 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a eng | |
049 | |a DE-92 | ||
082 | 0 | |a 511.3 |2 22 | |
245 | 1 | 0 | |a Essays on non-classical logic |c editor, Heinrich Wansing |
264 | 1 | |a Singapore |b World Scientific Pub. Co. |c c2001 | |
300 | |a xi, 262 p. |b ill | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 0 | |a Advances in logic |v v. 1 | |
520 | |a This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence. The problems addressed range from methodological issues in paraconsistent and deontic logic to the revision theory of truth and infinite Turing machines. The book identifies a number of important current trends in contemporary non-classical logic. Among them are dialogical and substructural logic, the classification of concepts of negation, truthmaker theory, and mathematical and foundational aspects of modal and temporal logic | ||
650 | 4 | |a Nonclassical mathematical logic | |
650 | 4 | |a Tense (Logic) | |
650 | 4 | |a Negation (Logic) | |
700 | 1 | |a Wansing, H. |e Sonstige |4 oth | |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789810247355 |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9810247354 |
856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/4799#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
912 | |a ZDB-124-WOP | ||
999 | |a oai:aleph.bib-bvb.de:BVB01-030034016 | ||
966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/4799#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext |
Datensatz im Suchindex
_version_ | 1804178049870069760 |
---|---|
any_adam_object | |
building | Verbundindex |
bvnumber | BV044636044 |
collection | ZDB-124-WOP |
ctrlnum | (ZDB-124-WOP)00004160 (OCoLC)1012623478 (DE-599)BVBBV044636044 |
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 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02064nmm a2200409zcb4500</leader><controlfield tag="001">BV044636044</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s2001 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812799746</subfield><subfield code="9">978-981-279-974-6</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/4799</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00004160</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012623478</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044636044</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-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">22</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Essays on non-classical logic</subfield><subfield code="c">editor, Heinrich Wansing</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific Pub. Co.</subfield><subfield code="c">c2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xi, 262 p.</subfield><subfield code="b">ill</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="0" ind2=" "><subfield code="a">Advances in logic</subfield><subfield code="v">v. 1</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence. The problems addressed range from methodological issues in paraconsistent and deontic logic to the revision theory of truth and infinite Turing machines. The book identifies a number of important current trends in contemporary non-classical logic. Among them are dialogical and substructural logic, the classification of concepts of negation, truthmaker theory, and mathematical and foundational aspects of modal and temporal logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Nonclassical mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Tense (Logic)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Negation (Logic)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wansing, H.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</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">9789810247355</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">9810247354</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/4799#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveroeffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030034016</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/4799#t=toc</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-124-WOP</subfield><subfield code="q">FHN_PDA_WOP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
id | DE-604.BV044636044 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T07:57:48Z |
institution | BVB |
isbn | 9789812799746 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030034016 |
oclc_num | 1012623478 |
open_access_boolean | |
owner | DE-92 |
owner_facet | DE-92 |
physical | xi, 262 p. ill |
psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
publishDate | 2001 |
publishDateSearch | 2001 |
publishDateSort | 2001 |
publisher | World Scientific Pub. Co. |
record_format | marc |
series2 | Advances in logic |
spelling | Essays on non-classical logic editor, Heinrich Wansing Singapore World Scientific Pub. Co. c2001 xi, 262 p. ill txt rdacontent c rdamedia cr rdacarrier Advances in logic v. 1 This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence. The problems addressed range from methodological issues in paraconsistent and deontic logic to the revision theory of truth and infinite Turing machines. The book identifies a number of important current trends in contemporary non-classical logic. Among them are dialogical and substructural logic, the classification of concepts of negation, truthmaker theory, and mathematical and foundational aspects of modal and temporal logic Nonclassical mathematical logic Tense (Logic) Negation (Logic) Wansing, H. Sonstige oth Erscheint auch als Druck-Ausgabe 9789810247355 Erscheint auch als Druck-Ausgabe 9810247354 http://www.worldscientific.com/worldscibooks/10.1142/4799#t=toc Verlag URL des Erstveroeffentlichers Volltext |
spellingShingle | Essays on non-classical logic Nonclassical mathematical logic Tense (Logic) Negation (Logic) |
title | Essays on non-classical logic |
title_auth | Essays on non-classical logic |
title_exact_search | Essays on non-classical logic |
title_full | Essays on non-classical logic editor, Heinrich Wansing |
title_fullStr | Essays on non-classical logic editor, Heinrich Wansing |
title_full_unstemmed | Essays on non-classical logic editor, Heinrich Wansing |
title_short | Essays on non-classical logic |
title_sort | essays on non classical logic |
topic | Nonclassical mathematical logic Tense (Logic) Negation (Logic) |
topic_facet | Nonclassical mathematical logic Tense (Logic) Negation (Logic) |
url | http://www.worldscientific.com/worldscibooks/10.1142/4799#t=toc |
work_keys_str_mv | AT wansingh essaysonnonclassicallogic |