Cantitate/Preț
Produs
Total produse
Vezi coșul
New Directions in Relevant Logic de Igor Sedlár

New Directions in Relevant Logic: Trends in Logic, cartea 63

Editat de Igor Sedlár, Shawn Standefer, Andrew Tedder
en Limba Engleză Hardback – 29 oct 2024
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. 
Citește tot Restrânge

Din seria Trends in Logic

Preț: 88511 lei

Preț vechi: 107940 lei
-18% Nou

Puncte Express: 1328
Preț estimativ în valută:
16942€ • 17785$ • 13995£

Carte nepublicată încă


Wish list
Gift list
Am citit!
Adaugă în listă
Doresc să fiu notificat când acest titlu va fi disponibil:
Trimite
Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783031699399
ISBN-10: 3031699394
Pagini: 400
Ilustrații: Approx. 400 p.
Dimensiuni: 155 x 235 mm
Ediția:2025
Editura: Springer Nature Switzerland
Colecția Springer
Seria Trends in Logic

Locul publicării:Cham, Switzerland

Cuprins

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.

Notă biografică

Igor Sedlár is a researcher at the Institute of Computer Science of the Czech Academy of Sciences in Prague, Czech Republic. After obtaining his PhD at the Comenius University in Bratislava with a thesis on relevant logic in 2009, he was a postdoctoral researcher at the Comenius University, the Slovak Academy of Sciences and the Czech Academy of Sciences. His research focuses on modal and non-classical logics, and includes work on relevant epistemic logic. He has published his results in many top-level conferences and journals, and he is currently pursuing a research project on non-classical dynamic logic funded by the Czech Science Foundation.
 
Shawn Standefer is an assistant professor of Philosophy at National Taiwan University. Before coming to NTU, he was a postdoctoral researcher at the University of Melbourne, and he got his PhD in Philosophy from the University of Pittsburgh. His research focuses on non-classical logics, particularly relevant logics. He has published his research in many peer-reviewed journals and he currently holds a research grant from the National Science and Technology Council of Taiwan. With Greg Restall, he has co-authored an intermediate logic textbook, Logical Methods, published by MIT Press. He is currently working on a book on relevant logics. 
 
Andrew Tedder is a postdoctoral researcher at the Ruhr University Bochum, and has previously held research positions at the University of Vienna and the Czech Academy of Sciences. His research concerns relevant and related non-classical logics, with a focus on quantifiers, modalities, and the application of non-classical logics to metaphysics, information, and formalised mathematical theories. His research has appeared in many peer reviewed journals and he has presented at a wide range of internationally recognised conferences in logic and philosophy.

Textul de pe ultima copertă

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. 

Caracteristici

First edited volume in many years to provide an overview of cutting-edge work in relevant logic Addresses a range of current topics in relevant logics and related fields in mathematics and philosophy Contributions from established and rising researchers in the field of relevant logics