東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Philosophical logic = current trends...

Yang, Syraya Chin-Mu.

Linked to FindBook

Google Book

Amazon

博客來

Philosophical logic = current trends in Asia : proceedings of AWPL-TPLC 2016 /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Philosophical logic/ edited by Syraya Chin-Mu Yang, Kok Yong Lee, Hiroakira Ono.
Reminder of title:	current trends in Asia : proceedings of AWPL-TPLC 2016 /
remainder title:	AWPL-TPLC 2016
other author:	Yang, Syraya Chin-Mu.
Published:	Singapore :Springer Singapore : : 2017.,
Description:	xvi, 296 p. :ill., digital ;24 cm.
[NT 15003449]:	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.
Contained By:	Springer eBooks
Subject:	Logic - Congresses. -
Online resource:	http://dx.doi.org/10.1007/978-981-10-6355-8
ISBN:	9789811063558

Philosophical logic = current trends in Asia : proceedings of AWPL-TPLC 2016 /
Philosophical logiccurrent trends in Asia : proceedings of AWPL-TPLC 2016 /[electronic resource] :AWPL-TPLC 2016edited by Syraya Chin-Mu Yang, Kok Yong Lee, Hiroakira Ono. - Singapore :Springer Singapore :2017. - xvi, 296 p. :ill., digital ;24 cm. - Logic in Asia: studia logica library,2364-4613. - Logic in Asia: studia logica library..

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.

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.

ISBN: 9789811063558

Standard No.: 10.1007/978-981-10-6355-8doiSubjects--Topical Terms:

892582
Logic
--Congresses.

LC Class. No.: BC71

Dewey Class. No.: 160

Philosophical logic = current trends in Asia : proceedings of AWPL-TPLC 2016 /
LDR:03123nmm a2200337 a 4500 001 2112673
003 DE-He213
005 20180530100840.0
006 m d
007 cr nn 008maaau
008 180719s2017 si s 0 eng d
020 $a 9789811063558 $q (electronic bk.)
020 $a 9789811063541 $q (paper)
024 7 $a 10.1007/978-981-10-6355-8 $2 doi
035 $a 978-981-10-6355-8
040 $a GP $c GP
041 0 $a eng
050 4 $a BC71
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
082 0 4 $a 160 $2 23
090 $a BC71 $b .P568 2017
245 0 0 $a Philosophical logic $h [electronic resource] : $b current trends in Asia : proceedings of AWPL-TPLC 2016 / $c edited by Syraya Chin-Mu Yang, Kok Yong Lee, Hiroakira Ono.
246 3 $a AWPL-TPLC 2016
260 $a Singapore : $b Springer Singapore : $b Imprint: Springer, $c 2017.
300 $a xvi, 296 p. : $b ill., digital ; $c 24 cm.
490 1 $a Logic in Asia: studia logica library, $x 2364-4613
505 0 $a 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.
520 $a 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.
650 0 $a Logic $v Congresses. $3 892582
650 0 $a Philosophy $v Congresses. $3 619473
650 1 4 $a Philosophy. $3 516511
650 2 4 $a Logic. $3 529544
650 2 4 $a Mathematical Logic and Foundations. $3 892656
650 2 4 $a Mathematical Logic and Formal Languages. $3 892517
700 1 $a Yang, Syraya Chin-Mu. $3 2180673
700 1 $a Lee, Kok Yong. $3 3270561
700 1 $a Ono, Hiroakira. $3 2157867
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Logic in Asia: studia logica library. $3 2180676
856 4 0 $u http://dx.doi.org/10.1007/978-981-10-6355-8
950 $a Religion and Philosophy (Springer-41175)