↓ Skip to main content
What is this page? Embed badge

Philosophical Logic: Current Trends in Asia

Overview of attention for book
Cover of 'Philosophical Logic: Current Trends in Asia'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Representing and Completing Lattices by Propositions of Cover Systems
  3. Altmetric Badge
    Chapter 2 A Uniform Algebraic Approach to Cut Elimination via Semi-completeness
  4. Altmetric Badge
    Chapter 3 Ancient Indian Logic, Pakṣa and Analogy
  5. Altmetric Badge
    Chapter 4 Provability and Decidability of Arithmetical Sentences
  6. Altmetric Badge
    Chapter 5 On the Minimization Principle in the Boolean Approach to Causal Discovery
  7. Altmetric Badge
    Chapter 6 Contentual and Formal Aspects of Gentzen’s Consistency Proofs
  8. Altmetric Badge
    Chapter 7 Saving Supervaluationism from the Challenge of Higher-Order Vagueness Argument
  9. Altmetric Badge
    Chapter 8 Cut Free Labelled Sequent Calculus for Dynamic Logic of Relation Changers
  10. Altmetric Badge
    Chapter 9 On Second Order Propositional Intuitionistic Logics
  11. Altmetric Badge
    Chapter 10 Classical Model Existence Theorem in Subclassical Predicate Logics. II
  12. Altmetric Badge
    Chapter 11 On Incorporating Reasoning Time into Epistemic Logic
  13. Altmetric Badge
    Chapter 12 Proof-Theoretic Embedding from Visser’s Basic Propositional Logic to Modal Logic K4 via Non-labelled Sequent Calculi
  14. Altmetric Badge
    Chapter 13 Varieties of Parthood
  15. Altmetric Badge
    Chapter 14 Infinite “Atomic” Mereological Structures
Attention for Chapter 4: Provability and Decidability of Arithmetical Sentences
Altmetric Badge
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Provability and Decidability of Arithmetical Sentences
Chapter number 4
Book title
Philosophical Logic: Current Trends in Asia
Published by
Springer, Singapore, January 2017
DOI 10.1007/978-981-10-6355-8_4
Book ISBNs
978-9-81-106354-1, 978-9-81-106355-8
Authors

Shih Ping Tung

View on publisher site

This page is provided by Altmetric.