Muutke küpsiste eelistusi

Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016 Softcover reprint of the original 1st ed. 2017 [Pehme köide]

Edited by , Edited by , Edited by
  • Formaat: Paperback / softback, 296 pages, kõrgus x laius: 235x155 mm, kaal: 480 g, 7 Illustrations, black and white; XVI, 296 p. 7 illus., 1 Paperback / softback
  • Sari: Logic in Asia: Studia Logica Library
  • Ilmumisaeg: 11-Dec-2018
  • Kirjastus: Springer Verlag, Singapore
  • ISBN-10: 9811348634
  • ISBN-13: 9789811348631
  • Pehme köide
  • Hind: 141,35 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 166,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
  • Formaat: Paperback / softback, 296 pages, kõrgus x laius: 235x155 mm, kaal: 480 g, 7 Illustrations, black and white; XVI, 296 p. 7 illus., 1 Paperback / softback
  • Sari: Logic in Asia: Studia Logica Library
  • Ilmumisaeg: 11-Dec-2018
  • Kirjastus: Springer Verlag, Singapore
  • ISBN-10: 9811348634
  • ISBN-13: 9789811348631

This volume brings together a group of logic-minded philosophers and philosophically oriented logicians, mainly from Asia, to address a variety of logical and philosophical topics of current interest, offering a representative cross-section of the philosophical logic landscape in early 21st-century Asia. It surveys a variety of fields, including modal logic, epistemic logic, formal semantics, decidability and mereology.

The book proposes new approaches and constructs more powerful frameworks, such as cover theory, an algebraic approach to cut-elimination, and a Boolean approach to causal discovery, to name but a few. Readers may find a wide range of applications of these original works in current research of philosophical logic, especially in the structural and conceptual analysis of some significant semantic properties and formal systems. The variety of topics and issues discussed here will appeal to readers from a broad spectrum of disciplines, ranging from mathematical/philosophical logic, computing science, cognitive science and artificial intelligence, to linguistics, game theory and beyond.


Representing and Completing Lattices by Propositions of Cover Systems.-
A Uniform Algebraic Approach to Cut Elimination via Semi-completeness.-
Ancient Indian Logic, Paksa and Analogy.- Provability and Decidability of
Arithmetical Sentences.- On the Minimization Principle in the Boolean
Approach to Causal Discovery.- Contentual and Formal Aspects of Gentzen's
Consistency Proofs.- Saving Supervaluationism from the Challenge of
Higher-Order Vagueness Argument.- Cut free Labelled Sequent Calculus for
Dynamic Logic of Relation Changers.- On Second Order Propositional
Intuitionistic Logics.- Classical Model Existence Theorem in Subclassical
Predicate Logics. II.- On Incorporating Reasoning Time into Epistemic Logic.-
Proof-theoretic Embedding from Vissers Basic Propositional Logic to Modal
Logic K4 via Non-Labelled Sequent Calculi.- Varieties of Parthood.- Infinite
Atomic Mereological Structures.