Category=PBCD
Category=QDTL
Category=UN
Category=UYQ
Constructive Negation
Deontic Logic
Dialogical Logic
eq_bestseller
eq_computing
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction
Free Logic
Modal Logic
Paraconsistent Logic
Revision Theory of Truth
Substructural Logics
Tense Logic
Truthmakers
Product details
- ISBN 9789810247355
- Publication Date: 26 Sep 2001
- Publisher: World Scientific Publishing Co Pte Ltd
- Publication City/Country: SG
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
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.
