000827679 000__ 03590cam\a2200457Ii\4500
000827679 001__ 827679
000827679 005__ 20230306144525.0
000827679 006__ m\\\\\o\\d\\\\\\\\
000827679 007__ cr\un\nnnunnun
000827679 008__ 180109s2017\\\\si\\\\\\o\\\\\100\0\eng\d
000827679 019__ $$a1013827549
000827679 020__ $$a9789811063541
000827679 020__ $$a9811063540
000827679 020__ $$z9789811063558
000827679 020__ $$z9811063559
000827679 035__ $$aSP(OCoLC)on1019927335
000827679 035__ $$aSP(OCoLC)1019927335$$z(OCoLC)1013827549
000827679 040__ $$aCOO$$beng$$erda$$cCOO$$dYDX$$dOH1
000827679 049__ $$aISEA
000827679 050_4 $$aBC71
000827679 24500 $$aPhilosophical logic :$$bcurrent trends in Asia : Proceedings of AWPL-TPLC 2016 /$$cedited by Syraya Chin-Mu Yang, Kok Yong Lee, Hiroakira Ono.
000827679 264_1 $$aSingapore :$$bSpringer,$$c2017.
000827679 300__ $$a1 online resource.
000827679 336__ $$atext$$btxt$$2rdacontent
000827679 337__ $$acomputer$$bc$$2rdamedia
000827679 338__ $$aonline resource$$bcr$$2rdacarrier
000827679 4901_ $$aLogic in Asia: Studia Logica Library,$$x2364-4613
000827679 5050_ $$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.
000827679 506__ $$aAccess limited to authorized users.
000827679 520__ $$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.
000827679 650_0 $$aLogic$$vCongresses.
000827679 650_0 $$aPhilosophy$$vCongresses.
000827679 7001_ $$aYang, Syraya Chin-Mu.$$eeditor.
000827679 7001_ $$aLee, Kok Yong.$$eeditor.
000827679 7001_ $$aOno, Hiroakira.$$eeditor.
000827679 77608 $$iPrint version: $$z9789811063541$$z9811063540$$w(OCoLC)994640410
000827679 830_0 $$aLogic in Asia: Studia Logica Library.
000827679 852__ $$bebk
000827679 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-981-10-6355-8$$zOnline Access$$91397441.1
000827679 909CO $$ooai:library.usi.edu:827679$$pGLOBAL_SET
000827679 980__ $$aEBOOK
000827679 980__ $$aBIB
000827679 982__ $$aEbook
000827679 983__ $$aOnline
000827679 994__ $$a92$$bISE