Philosophical Logic: Current Trends in Asia

Chapter 1 Representing and Completing Lattices by Propositions of Cover Systems

Chapter 2 A Uniform Algebraic Approach to Cut Elimination via Semi-completeness

Chapter 3 Ancient Indian Logic, Pakṣa and Analogy

Chapter 4 Provability and Decidability of Arithmetical Sentences

Chapter 5 On the Minimization Principle in the Boolean Approach to Causal Discovery

Chapter 6 Contentual and Formal Aspects of Gentzen’s Consistency Proofs

Chapter 7 Saving Supervaluationism from the Challenge of Higher-Order Vagueness Argument

Chapter 9 On Second Order Propositional Intuitionistic Logics

Chapter 10 Classical Model Existence Theorem in Subclassical Predicate Logics. II

Chapter 11 On Incorporating Reasoning Time into Epistemic Logic

Chapter 12 Proof-Theoretic Embedding from Visser’s Basic Propositional Logic to Modal Logic K4 via Non-labelled Sequent Calculi

Chapter 13 Varieties of Parthood

Chapter 14 Infinite “Atomic” Mereological Structures