LIVRES JEUNESSEBÉBÉJEUX, JOUETSPAPETERIECADEAUXDIVERTISSEMENT


Message Important
Le site sera temporairement en maintenance, pour une mise à jour. Ceci afin de mieux vous servir.
Heure de maintenance prévue : 10:30 pm

Important message
The site will be busy updating the store for you and will be back shortly.
Scheduled maintenance : 10:30 pm
LIVRES NUMÉRIQUES
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics - OFER ARIELI - ANNA ZAMANSKY

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics

Titre de l'éditeur : Arnon Avron on Semantics and Proof Theory of Non-Classical Logic

OFER ARIELI
ANNA ZAMANSKY

 
144,09 $
Feuilleter Feuilleter
Ajouter à ma liste de souhaits
EN SAVOIR PLUS Résumé

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.


Détails
Prix : 144,09 $
Catégorie :
Auteur :  OFER ARIELI
ANNA ZAMANSKY
Titre : Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
Date de parution : juillet 2021
Éditeur : LIVRES NUMÉRIQUES DIVERS
Sujet : NUL DIVERS
ISBN : 9783030712587 (3030712583)
Référence Renaud-Bray : 3507306
No de produit : 3507306
Droits numériques
Format : PDF
Disponibilité : Canada, consultez la liste des pays autorisés.
Gestion des droits numériques : Adobe DRM
Entrepôt numérique : NUMILOG
Nombre d'appareils autorisés : 3
Nombre de copier/coller : 0
Impression : 0

SUGGESTIONS
Suggestions
Anxiété, la boîte à outils : stratégies et techniques pour gérer l'anxiété HÉBERT, ARIANE
12,99 $
Anxiété, la boîte à outils : stratégies et techniques pour gérer l'anxiété HÉBERT, ARIANE
12,99 $
Albertine Petit-Brindamour déteste les choux de Bruxelles RENAUD, ANNE
DUHAMEAU, ÉLODIE
12,99 $
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics , ARIELI , OFER*ZAMANSKY , ANNA
© LIVRES NUMÉRIQUES DIVERS 2021