Proof Theory of N4-Paraconsistent Logics
I will be using this book for:
Log in to remove ads

Proof Theory of N4-Paraconsistent Logics

by Norihiro Kamide, Heinrich Wansing

Philosophy Mathematics Logic
1 Star 2 Star 3 Star 4 Star 5 Star
0.0 out of 5 stars (0 ratings)
View on Amazon View on BAM Trade it in for cash!

A focused study of the proof theory underlying N4-paraconsistent logics, presenting formal systems and their properties.

ISBN-13 9781848901674 ASIN 1848901674 Views 38 Publisher College Publications Year 2015 Format Paperback Product Group Book Pages 414 Created February 19, 2026 Updated September 28, 2026
About This Book

This book examines the proof-theoretic foundations of N4-paraconsistent logics.

It presents formal systems and investigates their properties within paraconsistent frameworks.

The work focuses on structural and inferential aspects of these non-classical logics.

Reviews

No reviews yet. Be the first to review this book!

Write a Review
I will be using this book for: