New Directions in Relevant Logic
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 ap...
محفوظ في:
| مؤلف مشترك: | |
|---|---|
| مؤلفون آخرون: | , , |
| التنسيق: | الكتروني كتاب الكتروني |
| اللغة: | الإنجليزية |
| منشور في: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| الطبعة: | 1st ed. 2025. |
| سلاسل: | Trends in Logic, Studia Logica Library,
63 |
| الموضوعات: | |
| الوصول للمادة أونلاين: | https://doi.org/10.1007/978-3-031-69940-5 |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-3-031-69940-5 | ||
| 003 | DE-He213 | ||
| 005 | 20260810170525.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 250131s2025 sz | o |||| 0|eng d | ||
| 020 | |a 9783031699405 |9 978-3-031-69940-5 | ||
| 024 | 7 | |a 10.1007/978-3-031-69940-5 |2 doi | |
| 050 | 4 | |a BC1-199 | |
| 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 |
| 245 | 1 | 0 | |a New Directions in Relevant Logic |h [electronic resource] / |c edited by Igor Sedlár, Shawn Standefer, Andrew Tedder. |
| 250 | |a 1st ed. 2025. | ||
| 264 | 1 | |a Cham : |b Springer Nature Switzerland : |b Imprint: Springer, |c 2025. | |
| 300 | |a 1 online resource (VI, 468 p. 31 illus.). |b 24 illus. in color. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 341 | 0 | |b Table of contents navigation |2 onix | |
| 341 | 0 | |b Single logical reading order |2 onix | |
| 341 | 0 | |b Short alternative textual descriptions |2 onix | |
| 341 | 0 | |b Use of color is not sole means of conveying information |2 onix | |
| 341 | 0 | |b Use of high contrast between text and background color |2 onix | |
| 341 | 0 | |b Next / Previous structural navigation |2 onix | |
| 341 | 0 | |b All non-decorative content supports reading without sight |2 onix | |
| 347 | |a text file |b PDF |2 rda | ||
| 490 | 1 | |a Trends in Logic, Studia Logica Library, |x 2212-7313 ; |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. . | ||
| 532 | 8 | |a Accessibility summary: This PDF does not fully comply with PDF/UA standards, but does feature limited screen reader support, described non-text content (images, graphs), bookmarks for easy navigation and searchable, selectable text. Users of assistive technologies may experience difficulty navigating or interpreting content in this document. We recognize the importance of accessibility, and we welcome queries about accessibility for any of our products. If you have a question or an access need, please get in touch with us at accessibilitysupport@springernature.com. | |
| 532 | 8 | |a No reading system accessibility options actively disabled | |
| 532 | 8 | |a Publisher contact for further accessibility information: accessibilitysupport@springernature.com | |
| 588 | |a Print version record. | ||
| 650 | 0 | |a Logic. | |
| 650 | 0 | |a Mathematical logic. | |
| 650 | 1 | 4 | |a Logic. |
| 650 | 2 | 4 | |a Mathematical Logic and Foundations. |
| 650 | 2 | 4 | |a Philosophical Logic. |
| 700 | 1 | |a Sedlár, Igor. |e editor. |0 (orcid)0000-0002-1942-7982 |1 https://orcid.org/0000-0002-1942-7982 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Standefer, Shawn. |e editor. |0 (orcid)0000-0002-3032-5290 |1 https://orcid.org/0000-0002-3032-5290 |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 700 | 1 | |a Tedder, Andrew. |e editor. |0 (orcid)0000-0002-2303-003X |1 https://orcid.org/0000-0002-2303-003X |4 edt |4 http://id.loc.gov/vocabulary/relators/edt | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9783031699399 |
| 776 | 0 | 8 | |i Printed edition: |z 9783031699412 |
| 776 | 0 | 8 | |i Printed edition: |z 9783031699429 |
| 830 | 0 | |a Trends in Logic, Studia Logica Library, |x 2212-7313 ; |v 63 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-031-69940-5 |
| 912 | |a ZDB-2-SMA | ||
| 912 | |a ZDB-2-SXMS | ||
| 912 | |a ZDB-2-257 | ||
| 950 | |a Mathematics and Statistics (SpringerNature-11649) | ||
| 950 | |a Mathematics and Statistics (R0) (SpringerNature-43713) | ||
| 950 | |a Focus Bundle Philosophy and Religion (SpringerNature-85427) | ||