東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

New directions in relevant logic

Sedlár, Igor.

FindBook

Google Book

Amazon

博客來

New directions in relevant logic

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	New directions in relevant logic/ edited by Igor Sedlár, Shawn Standefer, Andrew Tedder.
其他作者:	Sedlár, Igor.
出版者:	Cham :Springer Nature Switzerland : : 2025.,
面頁冊數:	vi, 468 p. :ill. (chiefly color), digital ;24 cm.
內容註:	Introduction -- Part I: Philosophical Foundations -- Chapter 1. A Hierarchy of Relevance Properties -- Chapter 2. A Topic-Theoretic Perspective on Variable-Sharing (from the Black Sheep of the Family) -- Chapter 3. Withered Relevance -- Chapter 4. Variable-Sharing as Relevance -- Part II: Model Theory -- Chapter 5. Algorithmic Corre spondence for Relevance Logics II, Inductive Formulae in Flat Languages for Relevance Logics -- Chapter 6. Quantified Modal Rele vant Logics II, Welcome to the Neighbourhood -- Chapter 7. Semantics for Second Order Relevant Logics -- Chapter 8. Implying and Containing in Truthmaker Semantics -- Chapter 9. The Only 3-valued Logic which is a Natural Implication Expansion with the Variable Sharing Property of Kleene's Strong Logic -- Part III: Proof Theory -- Chapter 10. A Conceptual Approach to Restricted Quan tification in Relevant Logics -- Chapter 11. Fusion, Fission, and Ackermann's Truth Constant in Relevant Logics, A Proof-Theoretic Investigation -- Chapter 12. Entailment Generalized -- Chapter 13. Proofs with Star and Perp -- Chapter 14. Morphing Rules of Evaluation into Rules of Deduction: Preserving Relevance and Epistemic Gain -- Part IV: Applications -- Chapter 15. Frege meets Belnap: Basic Law V in a Relevant Logic -- Chapter 16. Explicit and Implicit Belief in First Degree Entailment With Strict Implication -- Chapter 17. Relevant Rational Arithmetic.
Contained By:	Springer Nature eBook
標題:	Relevance logic. -
電子資源:	https://doi.org/10.1007/978-3-031-69940-5
ISBN:	9783031699405

New directions in relevant logic
New directions in relevant logic[electronic resource] /edited by Igor Sedlár, Shawn Standefer, Andrew Tedder. - Cham :Springer Nature Switzerland :2025. - vi, 468 p. :ill. (chiefly color), digital ;24 cm. - Trends in logic, studia logica library,v. 632212-7313 ;. - Trends in logic, studia logica library ;v. 63..

Introduction -- Part I: Philosophical Foundations -- Chapter 1. A Hierarchy of Relevance Properties -- Chapter 2. A Topic-Theoretic Perspective on Variable-Sharing (from the Black Sheep of the Family) -- Chapter 3. Withered Relevance -- Chapter 4. Variable-Sharing as Relevance -- Part II: Model Theory -- Chapter 5. Algorithmic Corre spondence for Relevance Logics II, Inductive Formulae in Flat Languages for Relevance Logics -- Chapter 6. Quantified Modal Rele vant Logics II, Welcome to the Neighbourhood -- Chapter 7. Semantics for Second Order Relevant Logics -- Chapter 8. Implying and Containing in Truthmaker Semantics -- Chapter 9. The Only 3-valued Logic which is a Natural Implication Expansion with the Variable Sharing Property of Kleene's Strong Logic -- Part III: Proof Theory -- Chapter 10. A Conceptual Approach to Restricted Quan tification in Relevant Logics -- Chapter 11. Fusion, Fission, and Ackermann's Truth Constant in Relevant Logics, A Proof-Theoretic Investigation -- Chapter 12. Entailment Generalized -- Chapter 13. Proofs with Star and Perp -- Chapter 14. Morphing Rules of Evaluation into Rules of Deduction: Preserving Relevance and Epistemic Gain -- Part IV: Applications -- Chapter 15. Frege meets Belnap: Basic Law V in a Relevant Logic -- Chapter 16. Explicit and Implicit Belief in First Degree Entailment With Strict Implication -- Chapter 17. Relevant Rational Arithmetic.

This book brings together contemporary work on relevant logics to showcase the recent progress of the field and set the stage for future research. The papers in the volume contribute to the formal and philosophical development of the field. They include contributions from different traditions and approaches ranging from philosophical discussions of the foundations of relevant, and related kinds of non-classical, logic to mathematical work concerning open technical problems in the field. This is the first edited collection on the topic in many years, and it includes contributions from established figures as well as younger generations of researchers. Relevant logics have recently seen a resurgence of interest and this volume will be an important resource for logicians working on substructural and relevant logics for years to come.

ISBN: 9783031699405

Standard No.: 10.1007/978-3-031-69940-5doiSubjects--Topical Terms:

1562376
Relevance logic.

LC Class. No.: BC199.R44

Dewey Class. No.: 160

New directions in relevant logic
LDR:03334nmm a2200337 a 4500 001 2409413
003 DE-He213
005 20250131115237.0
006 m d
007 cr nn 008maaau
008 260204s2025 sz s 0 eng d
020 $a 9783031699405 $q (electronic bk.)
020 $a 9783031699399 $q (paper)
024 7 $a 10.1007/978-3-031-69940-5 $2 doi
035 $a 978-3-031-69940-5
040 $a GP $c GP
041 0 $a eng
050 4 $a BC199.R44
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
072 7 $a QDTL $2 thema
082 0 4 $a 160 $2 23
090 $a BC199.R44 $b N532 2025
245 0 0 $a New directions in relevant logic $h [electronic resource] / $c edited by Igor Sedlár, Shawn Standefer, Andrew Tedder.
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2025.
300 $a vi, 468 p. : $b ill. (chiefly color), digital ; $c 24 cm.
490 1 $a Trends in logic, studia logica library, $x 2212-7313 ; $v v. 63
505 0 $a Introduction -- Part I: Philosophical Foundations -- Chapter 1. A Hierarchy of Relevance Properties -- Chapter 2. A Topic-Theoretic Perspective on Variable-Sharing (from the Black Sheep of the Family) -- Chapter 3. Withered Relevance -- Chapter 4. Variable-Sharing as Relevance -- Part II: Model Theory -- Chapter 5. Algorithmic Corre spondence for Relevance Logics II, Inductive Formulae in Flat Languages for Relevance Logics -- Chapter 6. Quantified Modal Rele vant Logics II, Welcome to the Neighbourhood -- Chapter 7. Semantics for Second Order Relevant Logics -- Chapter 8. Implying and Containing in Truthmaker Semantics -- Chapter 9. The Only 3-valued Logic which is a Natural Implication Expansion with the Variable Sharing Property of Kleene's Strong Logic -- Part III: Proof Theory -- Chapter 10. A Conceptual Approach to Restricted Quan tification in Relevant Logics -- Chapter 11. Fusion, Fission, and Ackermann's Truth Constant in Relevant Logics, A Proof-Theoretic Investigation -- Chapter 12. Entailment Generalized -- Chapter 13. Proofs with Star and Perp -- Chapter 14. Morphing Rules of Evaluation into Rules of Deduction: Preserving Relevance and Epistemic Gain -- Part IV: Applications -- Chapter 15. Frege meets Belnap: Basic Law V in a Relevant Logic -- Chapter 16. Explicit and Implicit Belief in First Degree Entailment With Strict Implication -- Chapter 17. Relevant Rational Arithmetic.
520 $a This book brings together contemporary work on relevant logics to showcase the recent progress of the field and set the stage for future research. The papers in the volume contribute to the formal and philosophical development of the field. They include contributions from different traditions and approaches ranging from philosophical discussions of the foundations of relevant, and related kinds of non-classical, logic to mathematical work concerning open technical problems in the field. This is the first edited collection on the topic in many years, and it includes contributions from established figures as well as younger generations of researchers. Relevant logics have recently seen a resurgence of interest and this volume will be an important resource for logicians working on substructural and relevant logics for years to come.
650 0 $a Relevance logic. $3 1562376
650 0 $a Logic, Symbolic and mathematical. $3 532051
650 1 4 $a Logic. $3 529544
650 2 4 $a Mathematical Logic and Foundations. $3 892656
650 2 4 $a Philosophical Logic. $3 3538770
700 1 $a Sedlár, Igor. $3 3782636
700 1 $a Standefer, Shawn. $3 3782637
700 1 $a Tedder, Andrew. $3 3782638
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Trends in logic, studia logica library ; $v v. 63. $3 3782639
856 4 0 $u https://doi.org/10.1007/978-3-031-69940-5
950 $a Mathematics and Statistics (SpringerNature-11649)