Tous les ebooks d'Hitoshi Omori en PDF


2  résultat(s)
Télécharger le livre :  60 Years of Connexive Logic
Ajouter à ma liste d'envies

60 Years of Connexive Logic


Hitoshi Omori , Heinrich Wansing


This book provides deep insights into current research in the rapidly developing field of connexive logic and includes contributions from leading scholars in the field. Unlike the most well known systems of non-classical logic, systems of connexive logic are...

Parution : 2025-02-01
Format(s) : PDF
Éditeur : Springer
Collection : Trends in Logic
J'achète
126,59
Télécharger le livre :  New Essays on Belnap-­Dunn Logic
Ajouter à ma liste d'envies

New Essays on Belnap-­Dunn Logic


Hitoshi Omori , Heinrich Wansing


This edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-degree entailment logic (FDE). It also looks at various formal systems closely related to it. These include the strong Kleene logic and the Logic of Paradox. Inside, readers...

Parution : 2020-01-01
Format(s) : PDF
Éditeur : Springer
Collection : Synthese Library
J'achète
105,49

Restez informé(e) des événements et promotions ebook

Paiements sécurisés

Paiements sécurisés