Philosophical Logic: Current Trends in Asia - Logic in Asia: Studia Logica Library
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Singapore

9789811063541, 9789811063558

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On Second Order Propositional Intuitionistic Logics

Philosophical Logic: Current Trends in Asia - Logic in Asia: Studia Logica Library ◽

10.1007/978-981-10-6355-8_9 ◽

2017 ◽

pp. 181-196

Author(s):

Ryo Kashima

Keyword(s):

Second Order ◽

Intuitionistic Logics

Download Full-text

Contentual and Formal Aspects of Gentzen’s Consistency Proofs

Philosophical Logic: Current Trends in Asia - Logic in Asia: Studia Logica Library ◽

10.1007/978-981-10-6355-8_6 ◽

2017 ◽

pp. 95-137

Author(s):

Ryota Akiyoshi ◽

Yuta Takahashi

Keyword(s):

Consistency Proofs

Download Full-text

Classical Model Existence Theorem in Subclassical Predicate Logics. II

Philosophical Logic: Current Trends in Asia - Logic in Asia: Studia Logica Library ◽

10.1007/978-981-10-6355-8_10 ◽

2017 ◽

pp. 197-212

Author(s):

Jui-Lin Lee

Keyword(s):

Existence Theorem ◽

Classical Model ◽

Model Existence ◽

Model Existence Theorem

Download Full-text

Provability and Decidability of Arithmetical Sentences

Philosophical Logic: Current Trends in Asia - Logic in Asia: Studia Logica Library ◽

10.1007/978-981-10-6355-8_4 ◽

2017 ◽

pp. 59-78

Author(s):

Shih Ping Tung

Download Full-text

Representing and Completing Lattices by Propositions of Cover Systems

Philosophical Logic: Current Trends in Asia - Logic in Asia: Studia Logica Library ◽

10.1007/978-981-10-6355-8_1 ◽

2017 ◽

pp. 1-18 ◽

Author(s):

Robert Goldblatt

Keyword(s):

Download Full-text

On Incorporating Reasoning Time into Epistemic Logic

Philosophical Logic: Current Trends in Asia - Logic in Asia: Studia Logica Library ◽

10.1007/978-981-10-6355-8_11 ◽

2017 ◽

pp. 213-231

Author(s):

Ren-June Wang

Keyword(s):

Epistemic Logic

Download Full-text

Ancient Indian Logic, Pakṣa and Analogy

Philosophical Logic: Current Trends in Asia - Logic in Asia: Studia Logica Library ◽

10.1007/978-981-10-6355-8_3 ◽

2017 ◽

pp. 45-58

Author(s):

Jeffrey B. Paris ◽

Alena Vencovská

Keyword(s):

Download Full-text

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

Philosophical Logic: Current Trends in Asia - Logic in Asia: Studia Logica Library ◽

10.1007/978-981-10-6355-8_12 ◽

2017 ◽

pp. 233-257

Author(s):

Sakiko Yamasaki ◽

Katsuhiko Sano

Keyword(s):

Modal Logic ◽

Propositional Logic ◽

Sequent Calculi

Download Full-text

Saving Supervaluationism from the Challenge of Higher-Order Vagueness Argument

Philosophical Logic: Current Trends in Asia - Logic in Asia: Studia Logica Library ◽

10.1007/978-981-10-6355-8_7 ◽

2017 ◽

pp. 139-152

Author(s):

Hao-Cheng Fu

Keyword(s):

Download Full-text

A Uniform Algebraic Approach to Cut Elimination via Semi-completeness

Philosophical Logic: Current Trends in Asia - Logic in Asia: Studia Logica Library ◽

10.1007/978-981-10-6355-8_2 ◽

2017 ◽

pp. 19-43

Author(s):

Hiroakira Ono

Keyword(s):

Algebraic Approach ◽

Cut Elimination

Download Full-text