A New Perspective on Nonmonotonic Logics

✍ Scribed by Dov M. Gabbay, Karl Schlechta

Publisher: Springer
Year: 2016
Tongue: English
Leaves: 367
Edition: 1st ed. 2016
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core of the book, where the authors combine the ideas of several types of nonmonotonic logics and their analysis of 'natural' concepts into a formal logic, a special preferential construction that combines formal clarity with the intuitive advantages of Reiter defaults, defeasible inheritance, theory revision, and epistemic considerations.

It is suitable for researchers in the area of computer science and mathematical logic.

✦ Table of Contents

Content: Part I - Introduction.- Part II - Background Material.- Basic Algebraic and Logical Definitions.- Defeasible Inheritance.- Reiter Defaults and Autoepistemic Logic.- Preferential Structures and Related Concepts.- Deontic Logic, Contrary-to-Duty Obligations.- Theory Revision, Theory Contraction, and Conditionals.- Neurology.- Part III - New Results.- Independence and Interpolation.- Probabilistic and Abstract Independence.- Formal Construction.- The Talmudic Kal Vachomer Rule.- Equational CTD.- Conclusion.- Index.

✦ Subjects

Nonmonotonic reasoning.;Logic, Symbolic and mathematical.;Logik;Nichtmonotones Schließen;Neurologie

📜 SIMILAR VOLUMES

A new perspective on nonmonotonic logics

📁 A new perspective on nonmonotonic logics

✍ Gabbay D.M., Schlechta K. 📂 Library 📅 2016 🏛 Springer 🌐 English

"Logics are like shadows on a wall; to understand why they dance as they do, and how they can be made to move differently, one needs to look at the mathematical structures from which they can be projected. That is a methodology that has long proven its value for classical and other forms of deductiv

A New Perspective on Nonmonotonic Logics

📁 A New Perspective on Nonmonotonic Logics

✍ Dov M. Gabbay, Karl Schlechta (auth.) 📂 Library 📅 2016 🏛 Springer International Publishing 🌐 English

<p><p>In this book the authors present new results on interpolation for nonmonotonic logics, abstract (function) independence, the Talmudic Kal Vachomer rule, and an equational solution of contrary-to-duty obligations. The chapter on formal construction is the conceptual core of the book, where the

A New Perspective on Nonmonotonic Logics

📁 A New Perspective on Nonmonotonic Logics

✍ Dov M. Gabbay, Karl Schlechta 📂 Library 📅 2016 🏛 Springer 🌐 English

Logics and Falsifications: A New Perspec

📁 Logics and Falsifications: A New Perspective on Constructivist Semantics

✍ Andreas Kapsner 📂 Library 📅 2015 🏛 Springer 🌐 English

Logics and Falsifications: A New Perspec

📁 Logics and Falsifications: A New Perspective on Constructivist Semantics

✍ Andreas Kapsner 📂 Library 📅 2014 🏛 Springer 🌐 English

<p><p>This volume examines the concept of falsification as a central notion of semantic theories and its effects on logical laws. The point of departure is the general constructivist line of argument that Michael Dummett has offered over the last decades. From there, the author examines the ways in

Nonmonotonic logic : context-dependent r

📁 Nonmonotonic logic : context-dependent reasoning

✍ Wiktor Marek; MirosЕ‚aw Truszczynski 📂 Library 📅 1993 🏛 Springer 🌐 English