IN MEMORIAM: J. MICHAEL DUNN, 1941–2021
From MaRDI portal
Publication:5037525
DOI10.1017/bsl.2021.65zbMath1480.01027OpenAlexW4214743765MaRDI QIDQ5037525
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
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