𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

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

⬇  Acquire This Volume

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


Labelled Non-Classical Logics
✍ Luca ViganΓ² (auth.) πŸ“‚ Library πŸ“… 2000 πŸ› Springer US 🌐 English

<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,