Proof Theory of N4-Paraconsistent Logics
Autor:
Norihiro Kamide
The present book is the first monograph ever with a central focus on the proof theory of paraconsistent logics in the vicinity of the four-valued, constructive paraconsistent logic N4 by David Nels...
Książka