5 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
Télécharger le livre : Dag Prawitz on Proofs and Meaning
Heinrich Wansing
Dag Prawitz on Proofs and Meaning
This volume is dedicated to Prof. Dag Prawitz and his outstanding contributions to philosophical and mathematical logic. Prawitz's eminent contributions to structural proof theory, or general proof theory, as he calls it, and inference-based meaning theories have been...
Editeur : Springer
Parution : 2014-11-27
Collection : Outstanding Contributions to Logic
Format(s) : ePub
94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Recent Trends in Philosophical Logic
Roberto Ciuni , Heinrich Wansing , Caroline Willkommen
Recent Trends in Philosophical Logic
This volume presents recent advances in philosophical logic with chapters focusing on non-classical logics, including paraconsistent logics, substructural logics, modal logics of agency and other modal logics. The authors cover themes such as the knowability paradox,...
Editeur : Springer
Parution : 2014-04-29
Collection : Trends in Logic
Format(s) : ePub
94,94 €
Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre : Truth and Falsehood
Yaroslav Shramko , Heinrich Wansing
Truth and Falsehood
The book presents a thoroughly elaborated logical theory of generalized truth-values understood as subsets of some established set of (basic) truth values. After elucidating the importance of the very notion of a truth value in logic and philosophy, we examine some...
Editeur : Springer
Parution : 2011-09-15
Collection : Trends in Logic
Format(s) : ePub
94,94 €
Téléchargement immédiat
Dès validation de votre commande