Actions for Essays on non-classical logic

Email RIS file
Bookmark
Report an Issue

Essays on non-classical logic / editor, Heinrich Wansing

Published
River Edge, N.J. : World Scientific, [2001]
Copyright Date
©2001
Physical Description
1 online resource (xi, 262 pages) : illustrations
Additional Creators
Wansing, H. (Heinrich)
Access Online

Availability

I Want It
I Want It

Finding items...

Series
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.
Subject(s)
ISBN
9789812799746 (electronic bk.)
9812799745 (electronic bk.)
9789810247355
9810247354
Bibliography Note
Includes bibliographical references and index.
View MARC record | catkey: 43256344