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 Semirelevance; 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 AxiomPairs for the Implicational Fragments of R, RMingle, 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 RMingle; 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 ModelTheoretic 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 
