001438649 000__ 04586cam\a2200553\a\4500
001438649 001__ 1438649
001438649 003__ OCoLC
001438649 005__ 20230309004346.0
001438649 006__ m\\\\\o\\d\\\\\\\\
001438649 007__ cr\un\nnnunnun
001438649 008__ 210802s2021\\\\sz\\\\\\ob\\\\000\0deng\d
001438649 019__ $$a1263026399
001438649 020__ $$a9783030712587$$q(electronic bk.)
001438649 020__ $$a3030712583$$q(electronic bk.)
001438649 020__ $$z3030712575
001438649 020__ $$z9783030712570
001438649 0247_ $$a10.1007/978-3-030-71258-7$$2doi
001438649 035__ $$aSP(OCoLC)1262554381
001438649 040__ $$aYDX$$beng$$epn$$cYDX$$dEBLCP$$dGW5XE$$dOCLCO$$dOCLCF$$dUKAHL$$dOCLCQ$$dOCLCO$$dOCLCQ
001438649 049__ $$aISEA
001438649 050_4 $$aQA9.4
001438649 08204 $$a511.3$$223
001438649 24500 $$aArnon Avron on semantics and proof theory of non-classical logics /$$cOfer Arieli, Anna Zamansky, editors.
001438649 260__ $$aCham, Swizterland :$$bSpringer,$$c2021.
001438649 300__ $$a1 online resource
001438649 336__ $$atext$$btxt$$2rdacontent
001438649 337__ $$acomputer$$bc$$2rdamedia
001438649 338__ $$aonline resource$$bcr$$2rdacarrier
001438649 4901_ $$aOutstanding contributions to logic ;$$vv. 21
001438649 504__ $$aIncludes bibliographical references.
001438649 5050_ $$aChapter 1. An uncertain road to certainty; Arnon Avron -- Chapter 2. Introduction: Non-classical logics : Between semantics and proof theory (In relation to Arnon Avron's work); Ofer Arieli and Anna Zamansky -- Chapter 3. Interpretations of weak positive modal logics; Katalin Bimbó -- Chapter 4. On axioms and rexpansions; Carlos Caleiro and Sérgio Marcelin -- Chapter 5. Credal calculi, evidence, and consistency; Walter Carnielli and Juliana Bueno-Soler -- Chapter 6. Theorems of alternatives for substructural logics; Almudena Colacito, Nikolaos Galatos and George Metcalfe -- Chapter 7. Degree-preserving Gödel logics with aninvolution: intermediate logics and (ideal) paraconsistency; Marcelo E. Coniglio, Francesc Esteva, Joan Gispert and Lluis Godo -- Chapter 8. R-mingle is nice, and so is Arnon Avron; J. Michael Dunn -- Chapter 9.The strict/tolerant idea and bilattices; Melvin Fitting -- Chapter 10. What is negation in a system 2020?; Dov Gabbay -- Chapter 11.Relevance Domains and the Philosophy of Science; Edwin Mares -- Chapter 12. Consequence relations with real truth-values; Daniele Mundici -- Chapter 13. Geometric rules in infinitary logic; Sara Negri -- Chapter 14. Connexive variants of modal logics over FDE; Sergei Odinstov, Daniel Skurt and Heinrich Wansing -- Chapter 15. Comments on the Papers; Arnon Avron -- Chapter 16. Arnon Avron - List of publications.
001438649 506__ $$aAccess limited to authorized users.
001438649 520__ $$aThis book is a collection of contributions honouring Arnon Avron's seminal work on the semantics and proof theory of non-classical logics. It includes presentations of advanced work by some of the most esteemed scholars working on semantic and proof-theoretical aspects of computer science logic. Topics in this book include frameworks for paraconsistent reasoning, foundations of relevance logics, analysis and characterizations of modal logics and fuzzy logics, hypersequent calculi and their properties, non-deterministic semantics, algebraic structures for many-valued logics, and representations of the mechanization of mathematics. Avron's foundational and pioneering contributions have been widely acknowledged and adopted by the scientific community. His research interests are very broad, spanning over proof theory, automated reasoning, non-classical logics, foundations of mathematics, and applications of logic in computer science and artificial intelligence. This is clearly reflected by the diversity of topics discussed in the chapters included in this book, all of which directly relate to Avron's past and present works. This book is of interest to computer scientists and scholars of formal logic.
001438649 60010 $$aAvron, Arnon.
001438649 650_0 $$aLogic, Symbolic and mathematical.
001438649 650_0 $$aProof theory.
001438649 650_6 $$aLogique symbolique et mathématique.
001438649 650_6 $$aThéorie de la preuve.
001438649 655_0 $$aElectronic books.
001438649 7001_ $$aArieli, Ofer,$$eeditor.
001438649 7001_ $$aZamansky, Anna,$$d1978-$$eeditor.
001438649 77608 $$iPrint version:$$tArnon Avron on semantics and proof theory of non-classical logics.$$dCham, Swizterland : Springer, 2021$$z3030712575$$z9783030712570$$w(OCoLC)1237631801
001438649 830_0 $$aOutstanding contributions to logic.
001438649 852__ $$bebk
001438649 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-030-71258-7$$zOnline Access$$91397441.1
001438649 909CO $$ooai:library.usi.edu:1438649$$pGLOBAL_SET
001438649 980__ $$aBIB
001438649 980__ $$aEBOOK
001438649 982__ $$aEbook
001438649 983__ $$aOnline
001438649 994__ $$a92$$bISE