IN MEMORIAM: J. MICHAEL DUNN, 1941–2021

DOI10.1017/BSL.2021.65MaRDI QIDQ5037525zbMATH OpenOpenAlexFDO

Authors 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

• A completeness theorem in modal logic
• A Kripke-style semantics for R-mingle using a binary accessibility relation
• A sieve for entailments
• A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic
• Algebraic Completeness Results for Dummett's LC and Its Extensions
• Algebraic completeness results for R-mingle and its extensions
• Algebraic methods in philosophical logic
• Combinators and structurally free logic
• First degree entailments
• Generalized Galois logics. Relational semantics of nonclassical logical calculi
• Generalized ortho negation
• Handbook of philosophical logic. Vol. 6
• Homomorphisms of intensionally complemented distributive lattices
• scientific article; zbMATH DE number 3134289 (Why is no real title available?)
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 549966 (Why is no real title available?)
• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 1028818 (Why is no real title available?)
• scientific article; zbMATH DE number 1406808 (Why is no real title available?)
• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• scientific article; zbMATH DE number 3254949 (Why is no real title available?)
• scientific article; zbMATH DE number 3260754 (Why is no real title available?)
• Intuitive semantics for first-degree entailments and `coupled trees'
• J. Michael Dunn on information based logics
• Knowledge representation and defeasible reasoning
• Lattices With Involution
• Models for entailment
• New consecution calculi for \(R^{t}_{\to}\)
• New essays on Belnap-Dunn logic
• On the decidability of implicational ticket entailment
• Quantification and RM
• Relevant predication. I: The formal theory
• Relevant Robinson's arithmetic
• Semantics for relevant logics
• The Story of \gamma γ

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5037525)