Ebooks d'Hitoshi Omori en PDF

2 Livre(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...

Editeur : Springer
Parution : 2025-02-01
Collection : Trends in Logic
PDF

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...

Editeur : Springer
Parution : 2020-01-01
Collection : Synthese Library
PDF

105,49 €