heinrich wansing
Truth and Falsehood
EbookSofort lieferbarThe book presents a thoroughly elaborated logical theory of generalized truth values understood a...
Towards Mathematical Philosophy
EbookSofort lieferbarThis volume contains a collection of articles applying methods of logic or, more generally, of ma...
Recent Trends in Philosophical Logic
EbookSofort lieferbarThis volume presents recent advances in philosophical logic with chapters focusing on non-classic...
Dag Prawitz on Proofs and Meaning
EbookSofort lieferbarroofs, and the notion of proof-theoretic harmony and other areas of a more mathematical persuasio...
Logics in Artificial Intelligence
EbookSofort lieferbarThis book constitutes the refereed proceedings of the 11th European Conference on Logics in Artif...
New Essays on Belnap-Dunn Logic
EbookSofort lieferbarThis edited volume collects essays on the four-valued logic known as Belnap-Dunn logic, or first-...
What is Negation?
EbookSofort lieferbarThe notion of negation is one of the central logical notions. It has been studied since antiquity...
Displaying Modal Logic
EbookSofort lieferbarThe present monograph is a slightly revised version of my Habilitations schrift Proof-theoretic ...
Proof Theory of Modal Logic
EbookSofort lieferbarProof Theory of Modal Logic is devoted to a thorough study of proof systems for modal logics, tha...
60 Years of Connexive Logic
EbookSofort lieferbarThis book provides deep insights into current research in the rapidly developing field of connexi...
Proof Theory of N4-Paraconsistent Logics
TaschenbuchBezug 6-10The present book is the first monograph ever with a central focus on the proof theory of paracons...