J. Michael Dunn on Information Based Logics

Nonfiction, Science & Nature, Mathematics, Logic, Religion & Spirituality, Philosophy
Cover of the book J. Michael Dunn on Information Based Logics by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319293004
Publisher: Springer International Publishing Publication: April 2, 2016
Imprint: Springer Language: English
Author:
ISBN: 9783319293004
Publisher: Springer International Publishing
Publication: April 2, 2016
Imprint: Springer
Language: English

This book celebrates and expands on J. Michael Dunn’s work on informational interpretations of logic. Dunn, in his Ph.D. thesis (1966), introduced a semantics for first-degree entailments utilizing the idea that a sentence can provide positive or negative information about a topic, possibly supplying both or neither. He later published a related interpretation of the logic R-mingle, which turned out to be one of the first relational semantics for a relevance logic. An incompatibility relation between information states lends itself to a definition of negation and it has figured into Dunn's comprehensive investigations into representations of various negations. The informational view of semantics is also a prominent theme in Dunn’s research on other logics, such as quantum logic and linear logic, and led to the encompassing theory of generalized Galois logics (or "gaggles"). Dunn’s latest work addresses informational interpretations of the ternary accessibility relation and the very nature of information.

The book opens with Dunn’s autobiography, followed by a list of his publications. It then presents a series of papers written by respected logicians working on different aspects of information-based logics. The topics covered include the logic R-mingle, which was introduced by Dunn, and its applications in mathematical reasoning as well as its importance in obtaining results for other relevance logics. There are also interpretations of the accessibility relation in the semantics of relevance and other non-classical logics using different notions of information. It also presents a collection of papers that develop semantics for various logics, including certain modal and many-valued logics.

The publication of this book is well timed, since we are living in an "information age.” Providing new technical findings, intellectual history and careful expositions of intriguing ideas, it appeals to a wide audience of scholars and researchers.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This book celebrates and expands on J. Michael Dunn’s work on informational interpretations of logic. Dunn, in his Ph.D. thesis (1966), introduced a semantics for first-degree entailments utilizing the idea that a sentence can provide positive or negative information about a topic, possibly supplying both or neither. He later published a related interpretation of the logic R-mingle, which turned out to be one of the first relational semantics for a relevance logic. An incompatibility relation between information states lends itself to a definition of negation and it has figured into Dunn's comprehensive investigations into representations of various negations. The informational view of semantics is also a prominent theme in Dunn’s research on other logics, such as quantum logic and linear logic, and led to the encompassing theory of generalized Galois logics (or "gaggles"). Dunn’s latest work addresses informational interpretations of the ternary accessibility relation and the very nature of information.

The book opens with Dunn’s autobiography, followed by a list of his publications. It then presents a series of papers written by respected logicians working on different aspects of information-based logics. The topics covered include the logic R-mingle, which was introduced by Dunn, and its applications in mathematical reasoning as well as its importance in obtaining results for other relevance logics. There are also interpretations of the accessibility relation in the semantics of relevance and other non-classical logics using different notions of information. It also presents a collection of papers that develop semantics for various logics, including certain modal and many-valued logics.

The publication of this book is well timed, since we are living in an "information age.” Providing new technical findings, intellectual history and careful expositions of intriguing ideas, it appeals to a wide audience of scholars and researchers.

More books from Springer International Publishing

Cover of the book Wind Turbine Aerodynamics and Vorticity-Based Methods by
Cover of the book The Circulation of Anti-Austerity Protest by
Cover of the book Convective Heat Transfer From Rotating Disks Subjected To Streams Of Air by
Cover of the book One Hundred Years of Pressure by
Cover of the book High-Resolution Profiling of Protein-RNA Interactions by
Cover of the book Atlas of Craniocervical Junction and Cervical Spine Surgery by
Cover of the book Return to the Far Side of Planet Moore! by
Cover of the book Probability and Statistics for Computer Science by
Cover of the book Food Preservation in Developing Countries: Challenges and Solutions by
Cover of the book Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems by
Cover of the book Advances in Computer Science for Engineering and Education II by
Cover of the book Future Directions in Metalloprotein and Metalloenzyme Research by
Cover of the book Parallel Problem Solving from Nature – PPSN XIV by
Cover of the book Risk-Based Approaches to Asset Allocation by
Cover of the book Algorithms and Architectures for Parallel Processing by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy