Essays on Non-Classical Logic
β Scribed by Heinrich Wansing
- Publisher
- World Scientific
- Year
- 2001
- Tongue
- English
- Leaves
- 275
- Series
- Advances in Logic 1
- Category
- Library
No coin nor oath required. For personal study only.
β¦ Synopsis
This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence. The problems addressed range from methodological issues in paraconsistent and deontic logic to the revision theory of truth and infinite Turing machines. The book identifies a number of important current trends in contemporary non-classical logic. Among them are dialogical and substructural logic, the classification of concepts of negation, truthmaker theory, and mathematical and foundational aspects of modal and temporal logic.
π SIMILAR VOLUMES
<p>I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classical Logics. I put forward the methodology of labelled deductive systems to the participants of Logic Colloquium'90 (Labelled Deductive systems, a Position Paper, In J. Oikkonen and J. Vaananen, editors,