Philosophical Logic: Current Trends in Asia: Proceedings of AWPL-TPLC 2016: Logic in Asia: Studia Logica Library
Editat de Syraya Chin-Mu Yang, Kok Yong Lee, Hiroakira Onoen Limba Engleză Hardback – 26 noi 2017
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.
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 785.88 lei 38-45 zile | |
Springer Nature Singapore – 11 dec 2018 | 785.88 lei 38-45 zile | |
Hardback (1) | 796.32 lei 38-45 zile | |
Springer Nature Singapore – 26 noi 2017 | 796.32 lei 38-45 zile |
Preț: 796.32 lei
Preț vechi: 1047.78 lei
-24% Nou
Puncte Express: 1194
Preț estimativ în valută:
152.43€ • 163.89$ • 127.07£
152.43€ • 163.89$ • 127.07£
Carte tipărită la comandă
Livrare economică 16-23 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9789811063541
ISBN-10: 9811063540
Pagini: 296
Ilustrații: XVI, 296 p. 7 illus.
Dimensiuni: 155 x 235 mm
Greutate: 0.62 kg
Ediția:1st ed. 2017
Editura: Springer Nature Singapore
Colecția Springer
Seria Logic in Asia: Studia Logica Library
Locul publicării:Singapore, Singapore
ISBN-10: 9811063540
Pagini: 296
Ilustrații: XVI, 296 p. 7 illus.
Dimensiuni: 155 x 235 mm
Greutate: 0.62 kg
Ediția:1st ed. 2017
Editura: Springer Nature Singapore
Colecția Springer
Seria Logic in Asia: Studia Logica Library
Locul publicării:Singapore, Singapore
Cuprins
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 Visser’s Basic Propositional Logic to Modal Logic K4 via Non-Labelled Sequent Calculi.- Varieties of Parthood.- Infinite “Atomic” Mereological Structures.
Textul de pe ultima copertă
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/phil
osophical logic, computing science, cognitive science and artificial intelligence, to linguistics, game theory and beyond.
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/phil
osophical logic, computing science, cognitive science and artificial intelligence, to linguistics, game theory and beyond.
Caracteristici
The first book that accurately represents the breadth and scope of current interest in research on philosophical logic in Asia Brings together a group of distinguished philosophers and renowned logicians, mainly from Asia, to present their latest research, which represents the cutting edge on a variety of special topics in philosophical logic Proposes new approaches and constructs more powerful frameworks, shedding light on and inspiring related research Includes supplementary material: sn.pub/extras