J. Michael Dunn on information based logics. ([2016])

• Record Type: Book
• Further Information: Note: Katalin Bimbó, editor.
• Editors: Bimbó, Katalin, 1963-
• Contents: Preface; Contents; Editor and Contributors; An Engineer in Philosopher's Clothing; J. Michael Dunn's Publications; Introduction: From Information at Large to Semantics of Logics; 1 Information on Information; 2 Information in Logic; 3 Threads of Ideas; References; RM and its Nice Properties; 1 Introduction; 2 Preliminaries; 2.1 Propositional Logics; 2.2 Some Basic Relevant Logics; 3 Semi-relevance; 4 Introducing RM and RM¬to; 5 Semantics of RM; 6 The Nice Properties of RM; 7 RM as a fuzzy logic; References; Wedge Sum, Merge and Inconsistency; 1 Wedge Sum 2 Consistent and Inconsistent Theories3 Merge; 4 Merging Algebras; References; Single Axioms and Axiom-Pairs for the Implicational Fragments of R, R-Mingle, and Some Related Systems; 1 Implicational Logics: Early Work; 2 Compact Bases and a Single Axiom for Rto, the Implicational Fragment of R; 3 RMto, the Implicational Fragment of R-Mingle; References; LC and Its Pretabular Relatives; 1 Introduction; 2 Pretabular Superintuitionistic Logics and Their Extensions; 3 Modal Logics Over S4; 4 Tabularity Problem; 5 Modal and Relevant Logics 5 The Functional Interpretation and the Productive Interpretation6 Idealization in Semantics; 7 Disjunction; 7.1 Distribution; 8 Negation; 9 The Nature of Theorems; 10 The Logics; 11 Information Sources and Proof Theoretic Semantics; 12 Information Sources and Model-Theoretic Semantics; 13 Conclusion; References; Epistemic Relevance and Epistemic Actions; 1 Introduction; 2 Epistemic Relevance and Relevance Logics; 3 Epistemic Relevance and Epistemic Actions; 4 Preserving Epistemic Relevance; 5 Treating Programs as Data; 6 Conclusion; References; Comparing Contents with Information 1 Introduction2 Carnap on Contents and Information; 3 Logical Contents Within a Content Semantics; 4 Dunn and Mares on Information; 5 Informational Concepts and Their Logical Usage; References; On Split Negation, Strong Negation, Information, Falsification, and Verification; 1 Introduction; 2 Michael Dunn on Negation and Information; 2.1 Negation; 2.2 Information; 3 Split Negation and Information Models; 3.1 Split Negation; 3.2 The Syntactic Characterization of Information Models; 4 Symmetry and All that; 4.1 On an Alleged Asymmetry Between Positive and Negative Information
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource
• Subjects: 160; Philosophy; Logic; Computer science; Logic, Symbolic and mathematical; PHILOSOPHY / Logic; Computer science; Logic; Logic, Symbolic and mathematical; Mathematics -- Logic; Mathematical theory of computation; Mathematical foundations; Philosophy -- Logic; Philosophy: logic; Electronic books; Electronic books
• Languages: English
• ISBNs: 9783319293004; 3319293001; 3319292986; 9783319292984
• Related ISBNs: 9783319292984
• Notes: Note: Includes bibliographical references and index.; Note: Online resource; title from PDF title page (EBSCO, viewed April 11, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.