Philosophical logic : current trends in Asia : Proceedings of AWPL-TPLC 2016 /: current trends in Asia : Proceedings of AWPL-TPLC 2016. (2017)

• Record Type: Book
• Further Information: Note: Edited by Syraya Chin-Mu Yang, Kok Yong Lee, Hiroakira Ono.
• Editors: Yang, Syraya Chin-Mu; Lee, Kok Yong; Ono, Hiroakira
• Contents: Representing 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.
• Publisher Details: Singapore : Springer
• Publication Date: 2017
• Extent: 1 online resource
• Subjects: 160; Logic -- Congresses; Philosophy -- Congresses; Logic; Logic, Symbolic and mathematical; Philosophy; PHILOSOPHY / Essays; PHILOSOPHY / Reference; Electronic books
• Languages: English
• ISBNs: 9789811063558; 9811063559
• Related ISBNs: 9789811063541
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.