Description |
1 online resource (xi, 262 pages) : illustrations. |
Physical Medium |
polychrome |
Description |
text file |
Series |
Advances in logic ; v. 1
|
|
Advances in logic ; v. 1.
|
Bibliography |
Includes bibliographical references and index. |
Contents |
1. Fine grained theories of time / Patrick Blackburn -- 2. Revision sequences and computers with an infinite amount of time / Benedikt Lowe -- 3. On Frege's nightmare: A combination of intuitionistic, free and paraconsistent logics / Shahid Rahman -- 4. Truthmakers, entailment and necessity / Stephen Read -- 5. Global definability in basic modal logic / Maarten De Rijke and Holger Sturm -- 6. Ackermann's implication for typefree logic / Klaus Robering -- 7. Why dialogical logic? / Helge Ruckert -- 8. Semantics for Constructive Negations / Yaroslav Shramko -- 9. Recent trends in paraconsistent logic / Max Urchs -- 10. Obligations, authorities, and history dependence / Henrich Wansing. |
Summary |
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. |
Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
Subject |
Nonclassical mathematical logic.
|
|
Nonclassical mathematical logic. |
|
Tense (Logic)
|
|
Tense (Logic) |
|
Negation (Logic)
|
|
Negation (Logic) |
Genre/Form |
Electronic books.
|
Added Author |
Wansing, H. (Heinrich)
|
Other Form: |
Print version: Essays on non-classical logic. River Edge, N.J. : World Scientific, ©2001 9810247354 9789810247355 (OCoLC)48505390 |
ISBN |
9789812799746 (electronic book) |
|
9812799745 (electronic book) |
|
9789810247355 |
|
9810247354 |
|