Essays on non-classical logic

著者

• Wansing, Heinrich

書誌事項

Essays on non-classical logic

editor, Heinrich Wansing

（Advances in logic, v. 1）

World Scientific, c2001

注記

Includes bibliography (p. [227]-257) and index

内容説明・目次

内容説明

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.

目次

• Fine-Grained Theories of Time (P Blackburn)
• Revision Sequences and Computers with an Infinite Amount of Time (B Lowe)
• On Frege's Nightmare: A Combination of Intuitionistic, Free and Paraconsistent Logics (S Rahman)
• Truthmakers, Entailment and Necessity (S Read)
• Global Definability in Basic Modal Logic (M de Rijke & H Sturm)
• Ackermann's Implication for Typefree Logic (K Robering)
• Why Dialogical Logic? (H Ruckert)
• Semantics for Constructive Negations (Y Shramko)
• Recent Trends in Paraconsistent Logic (M Urchs)
• Obligations, Authorities, and History Dependence (H Wansing).

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA54771595
• ISBN:
  • 9810247354
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New Jersey
• ページ数/冊数: xi, 262 p.
• 大きさ: 23 cm
• 親書誌ID:
  • BA54771540