LEADER 04059nam 22005895 450 001 9910255214203321 005 20251230064715.0 010 $a981-10-6355-9 024 7 $a10.1007/978-981-10-6355-8 035 $a(CKB)4340000000223650 035 $a(DE-He213)978-981-10-6355-8 035 $a(MiAaPQ)EBC5162523 035 $a(EXLCZ)994340000000223650 100 $a20171125d2017 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aPhilosophical Logic: Current Trends in Asia $eProceedings of AWPL-TPLC 2016 /$fedited by Syraya Chin-Mu Yang, Kok Yong Lee, Hiroakira Ono 205 $a1st ed. 2017. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2017. 215 $a1 online resource (XVI, 296 p. 7 illus.) 225 1 $aLogic in Asia: Studia Logica Library,$x2364-4621 311 08$a981-10-6354-0 320 $aIncludes bibliographical references at the end of each chapters. 327 $aRepresenting and Completing Lattices by Propositions of Cover Systems -- A Uniform Algebraic Approach to Cut Elimination via Semi-completeness -- Ancient Indian Logic, Paksa and Analogy -- Provability and Decidability of Arithmetical Sentences -- On the Minimization Principle in the Boolean Approach to Causal Discovery -- Contentual and Formal Aspects of Gentzen's Consistency Proofs -- Saving Supervaluationism from the Challenge of Higher-Order Vagueness Argument -- Cut free Labelled Sequent Calculus for Dynamic Logic of Relation Changers -- On Second Order Propositional Intuitionistic Logics -- Classical Model Existence Theorem in Subclassical Predicate Logics. II -- On Incorporating Reasoning Time into Epistemic Logic -- Proof-theoretic Embedding from Visser?s Basic Propositional Logic to Modal Logic K4 via Non-Labelled Sequent Calculi -- Varieties of Parthood -- Infinite ?Atomic? Mereological Structures. 330 $aThis volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia. It surveys a variety of fields, including modal logic, epistemic logic, formal semantics, decidability and mereology. The book proposes new approaches and constructs more powerful frameworks, such as cover theory, an algebraic approach to cut-elimination, and a Boolean approach to causal discovery, to name but a few. Readers may find a wide range of applications of these original works in current research of philosophical logic, especially in the structural and conceptual analysis of some significant semantic properties and formal systems. The variety of topics and issues discussed here will appeal to readers from a broad spectrum of disciplines, ranging from mathematical/phil osophical logic, computing science, cognitive science and artificial intelligence, to linguistics, game theory and beyond. 410 0$aLogic in Asia: Studia Logica Library,$x2364-4621 606 $aLogic 606 $aMathematical logic 606 $aMachine theory 606 $aLogic 606 $aMathematical Logic and Foundations 606 $aFormal Languages and Automata Theory 615 0$aLogic. 615 0$aMathematical logic. 615 0$aMachine theory. 615 14$aLogic. 615 24$aMathematical Logic and Foundations. 615 24$aFormal Languages and Automata Theory. 676 $a100 702 $aYang$b Syraya Chin-Mu$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLee$b Kok Yong$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aOno$b Hiroakira$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910255214203321 996 $aPhilosophical Logic: Current Trends in Asia$92202195 997 $aUNINA