IN MEMORIAM: J. MICHAEL DUNN, 1941–2021

DOI10.1017/bsl.2021.65zbMath1480.01027OpenAlexW4214743765MaRDI QIDQ5037525

Katalin Bimbó

Publication date: 1 March 2022

Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/bsl.2021.65

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• J. Michael Dunn on information based logics
• New consecution calculi for \(R^{t}_{\to}\)
• Relevant predication. I: The formal theory
• First degree entailments
• A sieve for entailments
• Relevant Robinson's arithmetic
• Knowledge representation and defeasible reasoning
• Models for entailment
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• Quantification and RM
• A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic
• Handbook of philosophical logic. Vol. 6
• Intuitive semantics for first-degree entailments and `coupled trees'
• Homomorphisms of intensionally complemented distributive lattices
• A completeness theorem in modal logic
• The Story of $$\gamma $$ γ
• Combinators and structurally free logic
• On the decidability of implicational ticket entailment
• New Essays on Belnap-Dunn Logic
• Lattices With Involution
• Algebraic completeness results for R-mingle and its extensions
• Semantics for relevant logics
• Algebraic Completeness Results for Dummett's LC and Its Extensions

This page was built for publication: IN MEMORIAM: J. MICHAEL DUNN, 1941–2021