Philosophical logic: current trends in Asia ; proceedings of AWPL-PPLC 2016
Saved in:
| Other Authors: | , , |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Singapore
Springer
[2017]
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | xvi, 296 Seiten Illustrationen |
| ISBN: | 9789811063541 9811063540 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV044762003 | ||
| 003 | DE-604 | ||
| 005 | 20180315 | ||
| 007 | t | ||
| 008 | 180215s2017 a||| |||| 10||| eng d | ||
| 020 | |a 9789811063541 |c hardback |9 978-981-10-6354-1 | ||
| 020 | |a 9811063540 |c hardback |9 981-10-6354-0 | ||
| 035 | |a (OCoLC)1028923885 | ||
| 035 | |a (DE-599)BVBBV044762003 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 | ||
| 245 | 1 | 0 | |a Philosophical logic |b current trends in Asia ; proceedings of AWPL-PPLC 2016 |c Syraya Chin-Mu Yang, Kok Yong Lee, Hiroakira Ono (editors) |
| 264 | 1 | |a Singapore |b Springer |c [2017] | |
| 264 | 4 | |c © 2017 | |
| 300 | |a xvi, 296 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 651 | 7 | |a Asien |0 (DE-588)4003217-6 |2 gnd |9 rswk-swf | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |x National Taiwan University |y 05.10.2016-08.10.2016 |z Taipeh |2 gnd-content | |
| 689 | 0 | 0 | |a Asien |0 (DE-588)4003217-6 |D g |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Yang, Syraya Chin-Mu |4 edt | |
| 700 | 1 | |a Lee, Kok-Keong |4 edt | |
| 700 | 1 | |a Ono, Hiroakira |4 edt | |
| 711 | 2 | |a Asian Workshop on Philosophical Logic |n 3. |d 2016 |c Taipeh |0 (DE-588)1153896028 |4 orm | |
| 711 | 2 | |a Taiwan Philosophical Logic Colloqium |n 3. |d 2016 |c Taipeh |0 (DE-588)1153896141 |4 orm | |
| 856 | 4 | 2 | |m Digitalisierung BSB Muenchen - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030157379&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030157379 | ||
Record in the Search Index
| _version_ | 1804178283171938304 |
|---|---|
| adam_text | Contents
Representing and Completing Lattices by Propositions
of Cover Systems........................................................ 1
Robert Goldblatt
A Uniform Algebraic Approach to Cut Elimination
via Semi-completeness.................................................. 19
Hiroakira Ono
Ancient Indian Logic, Pak§a and Analogy.............................. 45
Jeffrey B. Paris and Alena Vencovska
Provability and Decidability of Arithmetical Sentences............... 59
Shih Ping Tung
On the Minimization Principle in the Boolean Approach
to Causal Discovery..................................................... 79
Jiji Zhang
Contentual and Formal Aspects of Gentzen’s Consistency Proofs........ 95
Ryota Akiyoshi and Yuta Takahashi
Saving Supervaluationism from the Challenge of Higher-Order
Vagueness Argument................................................ 139
Hao-Cheng Fu
Cut Free Labelled Sequent Calculus for Dynamic Logic
of Relation Changers.................................................. 153
Ryo Hatano, Katsuhiko Sano and Satoshi Tojo
On Second Order Propositional Intuitionistic Logics.................... 181
Ryo Kashima
Classical Model Existence Theorem in Subclassical Predicate
Logics. II............................................................. 197
Jui-Lin Lee
xiii
XIV
Contents
On Incorporating Reasoning Time into Epistemic Logic................ 213
Ren-June Wang
Proof-Theoretic Embedding from Visser’s Basic Propositional
Logic to Modal Logic K4 via Non-labelled Sequent Calculi............ 233
Sakiko Yamasaki and Katsuhiko Sano
Varieties of Parthood............................................... 259
Paul Hovda
Infinite 66Atomic” Mereological Structures.......................... 287
Hsing-Chien Tsai
|
| any_adam_object | 1 |
| author2 | Yang, Syraya Chin-Mu Lee, Kok-Keong Ono, Hiroakira |
| author2_role | edt edt edt |
| author2_variant | s c m y scm scmy k k l kkl h o ho |
| author_facet | Yang, Syraya Chin-Mu Lee, Kok-Keong Ono, Hiroakira |
| building | Verbundindex |
| bvnumber | BV044762003 |
| ctrlnum | (OCoLC)1028923885 (DE-599)BVBBV044762003 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01775nam a2200409 c 4500</leader><controlfield tag="001">BV044762003</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180315 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">180215s2017 a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789811063541</subfield><subfield code="c">hardback</subfield><subfield code="9">978-981-10-6354-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9811063540</subfield><subfield code="c">hardback</subfield><subfield code="9">981-10-6354-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1028923885</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044762003</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-12</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Philosophical logic</subfield><subfield code="b">current trends in Asia ; proceedings of AWPL-PPLC 2016</subfield><subfield code="c">Syraya Chin-Mu Yang, Kok Yong Lee, Hiroakira Ono (editors)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">Springer</subfield><subfield code="c">[2017]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2017</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xvi, 296 Seiten</subfield><subfield code="b">Illustrationen</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="651" ind1=" " ind2="7"><subfield code="a">Asien</subfield><subfield code="0">(DE-588)4003217-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="x">National Taiwan University</subfield><subfield code="y">05.10.2016-08.10.2016</subfield><subfield code="z">Taipeh</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Asien</subfield><subfield code="0">(DE-588)4003217-6</subfield><subfield code="D">g</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Yang, Syraya Chin-Mu</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lee, Kok-Keong</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ono, Hiroakira</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Asian Workshop on Philosophical Logic</subfield><subfield code="n">3.</subfield><subfield code="d">2016</subfield><subfield code="c">Taipeh</subfield><subfield code="0">(DE-588)1153896028</subfield><subfield code="4">orm</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Taiwan Philosophical Logic Colloqium</subfield><subfield code="n">3.</subfield><subfield code="d">2016</subfield><subfield code="c">Taipeh</subfield><subfield code="0">(DE-588)1153896141</subfield><subfield code="4">orm</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung BSB Muenchen - ADAM Catalogue Enrichment</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=030157379&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030157379</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift National Taiwan University 05.10.2016-08.10.2016 Taipeh gnd-content |
| genre_facet | Konferenzschrift National Taiwan University 05.10.2016-08.10.2016 Taipeh |
| geographic | Asien (DE-588)4003217-6 gnd |
| geographic_facet | Asien |
| id | DE-604.BV044762003 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T08:01:30Z |
| institution | BVB |
| institution_GND | (DE-588)1153896028 (DE-588)1153896141 |
| isbn | 9789811063541 9811063540 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030157379 |
| oclc_num | 1028923885 |
| open_access_boolean | |
| owner | DE-12 |
| owner_facet | DE-12 |
| physical | xvi, 296 Seiten Illustrationen |
| publishDate | 2017 |
| publishDateSearch | 2017 |
| publishDateSort | 2017 |
| publisher | Springer |
| record_format | marc |
| spelling | Philosophical logic current trends in Asia ; proceedings of AWPL-PPLC 2016 Syraya Chin-Mu Yang, Kok Yong Lee, Hiroakira Ono (editors) Singapore Springer [2017] © 2017 xvi, 296 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Logik (DE-588)4036202-4 gnd rswk-swf Asien (DE-588)4003217-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift National Taiwan University 05.10.2016-08.10.2016 Taipeh gnd-content Asien (DE-588)4003217-6 g Logik (DE-588)4036202-4 s DE-604 Yang, Syraya Chin-Mu edt Lee, Kok-Keong edt Ono, Hiroakira edt Asian Workshop on Philosophical Logic 3. 2016 Taipeh (DE-588)1153896028 orm Taiwan Philosophical Logic Colloqium 3. 2016 Taipeh (DE-588)1153896141 orm Digitalisierung BSB Muenchen - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030157379&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Philosophical logic current trends in Asia ; proceedings of AWPL-PPLC 2016 Logik (DE-588)4036202-4 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4003217-6 (DE-588)1071861417 |
| title | Philosophical logic current trends in Asia ; proceedings of AWPL-PPLC 2016 |
| title_auth | Philosophical logic current trends in Asia ; proceedings of AWPL-PPLC 2016 |
| title_exact_search | Philosophical logic current trends in Asia ; proceedings of AWPL-PPLC 2016 |
| title_full | Philosophical logic current trends in Asia ; proceedings of AWPL-PPLC 2016 Syraya Chin-Mu Yang, Kok Yong Lee, Hiroakira Ono (editors) |
| title_fullStr | Philosophical logic current trends in Asia ; proceedings of AWPL-PPLC 2016 Syraya Chin-Mu Yang, Kok Yong Lee, Hiroakira Ono (editors) |
| title_full_unstemmed | Philosophical logic current trends in Asia ; proceedings of AWPL-PPLC 2016 Syraya Chin-Mu Yang, Kok Yong Lee, Hiroakira Ono (editors) |
| title_short | Philosophical logic |
| title_sort | philosophical logic current trends in asia proceedings of awpl pplc 2016 |
| title_sub | current trends in Asia ; proceedings of AWPL-PPLC 2016 |
| topic | Logik (DE-588)4036202-4 gnd |
| topic_facet | Logik Asien Konferenzschrift National Taiwan University 05.10.2016-08.10.2016 Taipeh |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030157379&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT yangsyrayachinmu philosophicallogiccurrenttrendsinasiaproceedingsofawplpplc2016 AT leekokkeong philosophicallogiccurrenttrendsinasiaproceedingsofawplpplc2016 AT onohiroakira philosophicallogiccurrenttrendsinasiaproceedingsofawplpplc2016 AT asianworkshoponphilosophicallogictaipeh philosophicallogiccurrenttrendsinasiaproceedingsofawplpplc2016 AT taiwanphilosophicallogiccolloqiumtaipeh philosophicallogiccurrenttrendsinasiaproceedingsofawplpplc2016 |