Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity,

This book covers work written by leading scholars from different schools within the research area of paraconsistency. The authors critically investigate how con

This book presents the state of the art in the fields of formal logic pioneered by Graham Priest. It includes advanced technical work on the model and proof the

This second volume of a collection of papers offers new perspectives and challenges in the study of logic. It is presented in honor of the fiftieth birthday of

Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applicatio