J. Michael Dunn

Publication Activity (10 Years)

Years Active: 1969-2021
Publications (10 Years): 4

Top Topics

Valued Semantics

Proof Procedures

Quantum Computing

Top Venues

Logica Universalis

J. Philos. Log.

Publications

Eunsuk Yang, J. Michael Dunn
Implicational Partial Galois Logics: Relational Semantics. Logica Universalis 15 (4) (2021)
Eunsuk Yang, J. Michael Dunn
Implicational Tonoid Logics: Algebraic and Relational Semantics. Logica Universalis 15 (4) (2021)
Katalin Bimbó, J. Michael Dunn
Introduction. FLAP 4 (3) (2017)
Katalin Bimbó, J. Michael Dunn
The Emergence of Set-theoretical Semantics for Relevance Logics around 1970. FLAP 4 (3) (2017)
J. Michael Dunn
The Relevance of Relevance to Relevance Logic. ICLA (2015)
Katalin Bimbó, J. Michael Dunn
Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus ${LT_\to^{t}}$ for Implicational Ticket Entailment. Logica Universalis 8 (2) (2014)
J. Michael Dunn, Lawrence S. Moss, Zhenghan Wang
The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing CoRR (2013)
J. Michael Dunn, Lawrence S. Moss, Zhenghan Wang
Editors' Introduction: The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing. J. Philos. Log. 42 (3) (2013)
Katalin Bimbó, J. Michael Dunn
On the decidability of implicational ticket entailment. J. Symb. Log. 78 (1) (2013)
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
On the Ternary Relation and Conditionality. J. Philos. Log. 41 (3) (2012)
Katalin Bimbó, J. Michael Dunn
. Notre Dame J. Formal Log. 53 (4) (2012)
J. Michael Dunn
Contradictory Information: Too Much of a Good Thing. J. Philos. Log. 39 (4) (2010)
Katalin Bimbó, J. Michael Dunn, Roger D. Maddux
Relevance Logics and Relation Algebras. Rev. Symb. Log. 2 (1) (2009)
Katalin Bimbó, J. Michael Dunn
Symmetric Generalized Galois Logics. Logica Universalis 3 (1) (2009)
Katalin Bimbó, J. Michael Dunn
Relational Semantics for Kleene Logic and Action Logic. Notre Dame J. Formal Log. 46 (4) (2005)
J. Michael Dunn, Mai Gehrke, Alessandra Palmigiano
Canonical extensions and relational completeness of some substructural logics. J. Symb. Log. 70 (3) (2005)
J. Michael Dunn, Tobias J. Hagge, Lawrence S. Moss, Zhenghan Wang
Quantum logic as motivated by quantum computing. J. Symb. Log. 70 (2) (2005)
Yaroslav Shramko, J. Michael Dunn, Tatsutoshi Takenaka
The Trilattice of Constructive Truth Values. J. Log. Comput. 11 (6) (2001)
J. Michael Dunn
Partiality and Its Dual. Stud Logica 66 (1) (2000)
Katalin Bimbó, J. Michael Dunn
Two Extensions of the Structurally Free Logic LC*. Log. J. IGPL 6 (3) (1998)
J. Michael Dunn, Robert K. Meyer
Combinators and Structurally Free Logic. Log. J. IGPL 5 (4) (1997)
J. Michael Dunn
Positive modal logic. Stud Logica 55 (2) (1995)
Gerard Allwein, J. Michael Dunn
Kripke Models for Linear Logic. J. Symb. Log. 58 (2) (1993)
John V. Franco, J. Michael Dunn, William H. Wheeler
Recent Work at the Interface of Logic, Combinatorics and Computer Science. Ann. Math. Artif. Intell. 6 (1-3) (1992)
J. Michael Dunn
Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations. JELIA (1990)
J. Michael Dunn, Leonard Lipshitz
Meeting of the Association for Symbolic Logic: Indianapolis. J. Symb. Log. 52 (3) (1987)
J. Michael Dunn
Relevant predication 1: The formal theory. J. Philos. Log. 16 (4) (1987)
J. Michael Dunn
A relational representation of quasi-Boolean algebras. Notre Dame J. Formal Log. 23 (4) (1982)
J. Michael Dunn
A sieve for entailments. J. Philos. Log. 9 (1) (1980)
Nuel D. Belnap Jr., Anil Gupta, J. Michael Dunn
A consecutive calculus for positive relevant implication with necessity. J. Philos. Log. 9 (4) (1980)
J. Michael Dunn
R-mingle and beneath. Extensions of the Routley-Meyer semantics for R. Notre Dame J. Formal Log. 20 (2) (1979)
J. Michael Dunn
Axiomatizing Belnap's conditional assertion. J. Philos. Log. 4 (3) (1975)
J. Michael Dunn, Hugues Leblanc, Robert K. Meyer
Completeness of relevant quantification theories. Notre Dame J. Formal Log. 15 (1) (1974)
J. Michael Dunn
A modification of Parry's analytic implication. Notre Dame J. Formal Log. 13 (2) (1972)
J. Michael Dunn
Algebraic Completeness Results for R-Mingle and Its Extensions. J. Symb. Log. 35 (1) (1970)
Robert K. Meyer, J. Michael Dunn
E, R, and gama. J. Symb. Log. 34 (3) (1969)