My Library

University LibraryCatalogue

     
Limit search to items available for borrowing or consultation
Result Page: Previous Next
Can't find that book? Try BONUS+
 
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Cover Art
E-RESOURCE

Title J. Michael Dunn on information based logics / Katalin Bimbó, editor.

Published Switzerland : Springer, [2016]

Copies

Location Call No. Status
 UniM INTERNET resource    AVAILABLE
Physical description 1 online resource.
Series Outstanding contributions to logic ; volume 8
Outstanding contributions to logic ; v. 8.
Springer English/International eBooks 2016 - Full Set
Bibliography Includes bibliographical references and index.
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
6 Positive Logics and Extensions of Johansson's Minimal LogicReferences; The Story of γ; 1 The Origins of the Problem; 2 The First Solution by Meyer and Dunn; 3 The History of the Meyer -- Dunn Proof; 4 The Second Solution by Routley and Meyer; 5 Third Solution: Metavaluations; 6 Cut Elimination and an Open Problem; References; Manipulating Sources of Information: Towards an Interpretation of Linear Logic and Strong Relevance Logic; 1 Introduction; 2 Information and Truth; 3 Sources of Information; 3.1 Source Terms; 4 Implication and Conjunction
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
Other author Bimbó, Katalin, 1963- editor.
SpringerLink issuing body.
Subject Dunn, J. Michael, 1941-
Logic.
Computer science.
Logic, Symbolic and mathematical.
Electronic books.
Electronic books.
ISBN 9783319293004 electronic bk.
3319293001 electronic bk.
9783319292984
3319292986
9783319292984