Lee, Kok Yong
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
Keywords: Philosophy, Logic, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages
- Editor
- Lee, Kok Yong
- Ono, Hiroakira
- Yang, Syraya Chin-Mu
- Publisher
- Springer
- Publication year
- 2017
- Language
- en
- Edition
- 1
- Series
- Logic in Asia: Studia Logica Library
- Page amount
- 16 pages
- Category
- Philosophy
- Format
- Ebook
- eISBN (PDF)
- 9789811063558
- Printed ISBN
- 978-981-10-6354-1