Arnon Avron on semantics and proof theory of non-classical logics / Ofer Arieli, Anna Zamansky, editors.
Arieli, Ofer, editor.; Zamansky, Anna, 1978- editor.
2021
QA9.4
Available Online

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Arnon Avron on semantics and proof theory of non-classical logics / Ofer Arieli, Anna Zamansky, editors.
ISBN
9783030712587 (electronic bk.)
3030712583 (electronic bk.)
3030712575
9783030712570
DOI
https://doi.org/10.1007/978-3-030-71258-7
Publication Details
Cham, Swizterland : Springer, 2021.
Language
English
Description
1 online resource
Item Number
10.1007/978-3-030-71258-7 doi
Call Number
QA9.4
Dewey Decimal Classification
511.3
Summary
This 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.
Bibliography, etc. Note
Includes bibliographical references.
Access Note
Access limited to authorized users.
Added Author
Arieli, Ofer, editor.
Zamansky, Anna, 1978- editor.
Series
Outstanding contributions to logic.
Available in Other Form
Arnon Avron on semantics and proof theory of non-classical logics.
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Chapter 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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export