Philosophical Logic: Current Trends in Asia

1. Representing and Completing Lattices by Propositions of Cover Systems
Robert Goldblatt

2. A Uniform Algebraic Approach to Cut Elimination via Semi-completeness
Hiroakira Ono

3. Ancient Indian Logic, Pakṣa and Analogy
Jeffrey B. Paris, Alena Vencovská

4. Provability and Decidability of Arithmetical Sentences
Shih Ping Tung

5. On the Minimization Principle in the Boolean Approach to Causal Discovery
Jiji Zhang

6. Contentual and Formal Aspects of Gentzen’s Consistency Proofs
Ryota Akiyoshi, Yuta Takahashi

7. Saving Supervaluationism from the Challenge of Higher-Order Vagueness Argument
Hao-Cheng Fu

8. Cut Free Labelled Sequent Calculus for Dynamic Logic of Relation Changers
Ryo Hatano, Katsuhiko Sano, Satoshi Tojo

9. On Second Order Propositional Intuitionistic Logics
Ryo Kashima

10. Classical Model Existence Theorem in Subclassical Predicate Logics. II
Jui-Lin Lee

11. On Incorporating Reasoning Time into Epistemic Logic
Ren-June Wang

12. Proof-Theoretic Embedding from Visser’s Basic Propositional Logic to Modal Logic K4 via Non-labelled Sequent Calculi
Sakiko Yamasaki, Katsuhiko Sano

13. Varieties of Parthood
Paul Hovda

14. Infinite “Atomic” Mereological Structures
Hsing-Chien Tsai

Avainsanat: Philosophy, Logic, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages