Ebooks d'Heinrich Wansing en PDF et EPUB

5 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 €
Télécharger le livre : Dag Prawitz on Proofs and Meaning
Ajouter à ma liste d'envies
Dag Prawitz on Proofs and Meaning
Heinrich Wansing
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
ePub

94,94 €
Télécharger le livre : Recent Trends in Philosophical Logic
Ajouter à ma liste d'envies
Recent Trends in Philosophical Logic
Roberto Ciuni , Heinrich Wansing , Caroline Willkommen
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
ePub

94,94 €
Télécharger le livre : Truth and Falsehood
Ajouter à ma liste d'envies
Truth and Falsehood
Yaroslav Shramko , Heinrich Wansing
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
ePub

94,94 €