Dunn, J. Michael Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras. (English) Zbl 1354.03026 Baltag, Alexandru (ed.) et al., Johan van Benthem on logic and information dynamics. Cham: Springer (ISBN 978-3-319-06024-8/hbk; 978-3-319-06025-5/ebook). Outstanding Contributions to Logic 5, 881-894 (2014). MSC: 03B47 03G15 PDFBibTeX XMLCite \textit{J. M. Dunn}, Outst. Contrib. Log. 5, 881--894 (2014; Zbl 1354.03026) Full Text: DOI
Beall, Jc; Brady, Ross; Dunn, J. Michael; Hazen, A. P.; Mares, Edwin; Meyer, Robert K.; Priest, Graham; Restall, Greg; Ripley, David; Slaney, John; Sylvan, Richard On the ternary relation and conditionality. (English) Zbl 1260.03049 J. Philos. Log. 41, No. 3, 595-612 (2012). Reviewer: Gemma Robles (León) MSC: 03B47 03A05 03B45 03B53 PDFBibTeX XMLCite \textit{J. Beall} et al., J. Philos. Log. 41, No. 3, 595--612 (2012; Zbl 1260.03049) Full Text: DOI
Bimbó, Katalin; Dunn, J. Michael; Maddux, Roger D. Relevance logics and relation algebras. (English) Zbl 1174.03005 Rev. Symb. Log. 2, No. 1, 102-131 (2009). Reviewer: Osamu Sonobe (Follonica) MSC: 03B47 03G15 PDFBibTeX XMLCite \textit{K. Bimbó} et al., Rev. Symb. Log. 2, No. 1, 102--131 (2009; Zbl 1174.03005) Full Text: DOI
Dunn, J. Michael A representation of relation algebras using Routley-Meyer frames. (English) Zbl 1039.03051 Anderson, C. Anthony (ed.) et al., Logic, meaning and computation. Essays in memory of Alonzo Church. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-0141-X/hbk). Synth. Libr. 305, 77-108 (2001). Reviewer: Roger Maddux (Ames) MSC: 03G15 03B47 PDFBibTeX XMLCite \textit{J. M. Dunn}, Synth. Libr. 305, 77--108 (2001; Zbl 1039.03051)
Dunn, J. M. Ternary relational semantics and beyond: Programs as arguments (data) and programs as functions (programs). (English) Zbl 1031.03008 Karpenko, A. S. (ed.), Logical investigations. 8. Papers from the 3rd international conference “Smirnov’s Readings”, Moscow, Russia, May 2001. Moskva: Nauka. 282-301 (2001). MSC: 03A05 03G25 03B40 03B47 68Q05 03B70 PDFBibTeX XMLCite \textit{J. M. Dunn}, in: Logicheskie issledovaniya. 8. Moskva: Nauka. 282--301 (2001; Zbl 1031.03008)
Dunn, J. Michael; Meyer, Robert K. Combinators and structurally free logic. (English) Zbl 0878.03008 Log. J. IGPL 5, No. 4, 505-537 (1997). MSC: 03B40 03G25 03F03 03B47 PDFBibTeX XMLCite \textit{J. M. Dunn} and \textit{R. K. Meyer}, Log. J. IGPL 5, No. 4, 505--537 (1997; Zbl 0878.03008) Full Text: DOI Link