2 résultat(s)
Télécharger le livre : 60 Years of Connexive Logic
Hitoshi Omori , Heinrich Wansing
60 Years of Connexive Logic
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
Format(s) : PDF
126,59 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : New Essays on Belnap-­Dunn Logic
Hitoshi Omori , Heinrich Wansing
New Essays on Belnap-­Dunn Logic
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
Format(s) : PDF
105,49 €
Téléchargement immédiat
Dès validation de votre commande