E, R, and gama. - Robert K. Meyer; J. Michael Dunn (J. Symb. Log., 1969)

Algebraic Completeness Results for R-Mingle and Its Extensions. - J. Michael Dunn (J. Symb. Log., 1970)

A modification of Parry's analytic implication. - J. Michael Dunn (Notre Dame J. Formal Log., 1972)

Completeness of relevant quantification theories. - J. Michael Dunn; Hugues Leblanc; Robert K. Meyer (Notre Dame J. Formal Log., 1974)

Axiomatizing Belnap's conditional assertion. - J. Michael Dunn (J. Philos. Log., 1975)

R-mingle and beneath. Extensions of the Routley-Meyer semantics for R. - J. Michael Dunn (Notre Dame J. Formal Log., 1979)

A consecutive calculus for positive relevant implication with necessity. - Nuel D. Belnap Jr.; Anil Gupta; J. Michael Dunn (J. Philos. Log., 1980)

A sieve for entailments. - J. Michael Dunn (J. Philos. Log., 1980)

A relational representation of quasi-Boolean algebras. - J. Michael Dunn (Notre Dame J. Formal Log., 1982)

Relevant predication 1: The formal theory. - J. Michael Dunn (J. Philos. Log., 1987)

Meeting of the Association for Symbolic Logic: Indianapolis. - J. Michael Dunn; Leonard Lipshitz (J. Symb. Log., 1987)

Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations. - J. Michael Dunn (JELIA, 1990)

Recent Work at the Interface of Logic, Combinatorics and Computer Science. - John V. Franco; J. Michael Dunn; William H. Wheeler (Ann. Math. Artif. Intell., 1992)

Kripke Models for Linear Logic. - Gerard Allwein; J. Michael Dunn (J. Symb. Log., 1993)

Positive modal logic. - J. Michael Dunn (Stud Logica, 1995)

Combinators and Structurally Free Logic. - J. Michael Dunn; Robert K. Meyer (Log. J. IGPL, 1997)

Two Extensions of the Structurally Free Logic LC*. - Katalin Bimbó; J. Michael Dunn (Log. J. IGPL, 1998)

Partiality and Its Dual. - J. Michael Dunn (Stud Logica, 2000)

The Trilattice of Constructive Truth Values. - Yaroslav Shramko; J. Michael Dunn; Tatsutoshi Takenaka (J. Log. Comput., 2001)

Canonical extensions and relational completeness of some substructural logics. - J. Michael Dunn; Mai Gehrke; Alessandra Palmigiano (J. Symb. Log., 2005)

Quantum logic as motivated by quantum computing. - J. Michael Dunn; Tobias J. Hagge; Lawrence S. Moss; Zhenghan Wang (J. Symb. Log., 2005)

Relational Semantics for Kleene Logic and Action Logic. - Katalin Bimbó; J. Michael Dunn (Notre Dame J. Formal Log., 2005)

Symmetric Generalized Galois Logics. - Katalin Bimbó; J. Michael Dunn (Logica Universalis, 2009)

Relevance Logics and Relation Algebras. - Katalin Bimbó; J. Michael Dunn; Roger D. Maddux (Rev. Symb. Log., 2009)

Contradictory Information: Too Much of a Good Thing. - J. Michael Dunn (J. Philos. Log., 2010)

On the Ternary Relation and Conditionality. - J. C. Beall; Ross T. Brady; J. Michael Dunn; Allen Hazen; Edwin D. Mares; Robert K. Meyer; Graham Priest; Greg Restall; David Ripley; John K. Slaney; Richard Sylvan (J. Philos. Log., 2012)

New Consecution Calculi for Rt->. - Katalin Bimbó; J. Michael Dunn (Notre Dame J. Formal Log., 2012)

The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing - J. Michael Dunn; Lawrence S. Moss; Zhenghan Wang (CoRR, 2013)

Editors' Introduction: The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing. - J. Michael Dunn; Lawrence S. Moss; Zhenghan Wang (J. Philos. Log., 2013)

On the decidability of implicational ticket entailment. - Katalin Bimbó; J. Michael Dunn (J. Symb. Log., 2013)

Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras. - J. Michael Dunn (Johan van Benthem on Logic and Information Dynamics, 2014)

Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus ${LT_ to^{t}}$ for Implicational Ticket Entailment. - Katalin Bimbó; J. Michael Dunn (Logica Universalis, 2014)

The Relevance of Relevance to Relevance Logic. - J. Michael Dunn (ICLA, 2015)

Introduction. - Katalin Bimbó; J. Michael Dunn (FLAP, 2017)

The Emergence of Set-theoretical Semantics for Relevance Logics around 1970. - Katalin Bimbó; J. Michael Dunn (FLAP, 2017)

Implicational Tonoid Logics: Algebraic and Relational Semantics. - Eunsuk Yang; J. Michael Dunn (Logica Universalis, 2021)

Implicational Partial Galois Logics: Relational Semantics. - Eunsuk Yang; J. Michael Dunn (Logica Universalis, 2021)