Constructive negations and paraconsistency
"This book presents the author's recent investigations of the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity (L.E.J. Brouwer) and the strong negation (D. Nelson) are studied in the setting of paraconsistent logic."--Jacket.
|Series:||Trends in logic ;
v. 26. |
|Online Access:||Online version|
No Tags, Be the first to tag this record!