J. Michael Dunn

According to our database, J. Michael Dunn authored at least 37 papers between 1969 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

Implicational Partial Galois Logics: Relational Semantics.

Eunsuk Yang, J. Michael Dunn

Logica Universalis, 2021

Implicational Tonoid Logics: Algebraic and Relational Semantics.

Eunsuk Yang, J. Michael Dunn

Logica Universalis, 2021

2017

The Emergence of Set-theoretical Semantics for Relevance Logics around 1970.

Katalin Bimbó, J. Michael Dunn

FLAP, 2017

Introduction.

Katalin Bimbó, J. Michael Dunn

FLAP, 2017

2015

The Relevance of Relevance to Relevance Logic.

J. Michael Dunn

Proceedings of the Logic and Its Applications - 6th Indian Conference, 2015

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

Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras.

J. Michael Dunn

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013

On the decidability of implicational ticket entailment.

Katalin Bimbó, J. Michael Dunn

J. Symb. Log., 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

The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum Computing

J. Michael Dunn, Lawrence S. Moss, Zhenghan Wang

CoRR, 2013

2012

New Consecution Calculi for R^t_->.

Katalin Bimbó, J. Michael Dunn

Notre Dame J. Formal Log., 2012

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

2010

Contradictory Information: Too Much of a Good Thing.

J. Michael Dunn

J. Philos. Log., 2010

2009

Relevance Logics and Relation Algebras.

Katalin Bimbó, J. Michael Dunn, Roger D. Maddux

Rev. Symb. Log., 2009

Symmetric Generalized Galois Logics.

Katalin Bimbó, J. Michael Dunn

Logica Universalis, 2009

2005

Relational Semantics for Kleene Logic and Action Logic.

Katalin Bimbó, J. Michael Dunn

Notre Dame J. Formal Log., 2005

Quantum logic as motivated by quantum computing.

J. Michael Dunn, Tobias J. Hagge, Lawrence S. Moss, Zhenghan Wang

J. Symb. Log., 2005

Canonical extensions and relational completeness of some substructural logics.

J. Michael Dunn, Mai Gehrke, Alessandra Palmigiano

J. Symb. Log., 2005

2001

The Trilattice of Constructive Truth Values.

Yaroslav Shramko, J. Michael Dunn, Tatsutoshi Takenaka

J. Log. Comput., 2001

2000

Partiality and Its Dual.

J. Michael Dunn

Stud Logica, 2000

1998

Two Extensions of the Structurally Free Logic LC*.

Katalin Bimbó, J. Michael Dunn

Log. J. IGPL, 1998

1997

Combinators and Structurally Free Logic.

J. Michael Dunn, Robert K. Meyer

Log. J. IGPL, 1997

1995

Positive modal logic.

J. Michael Dunn

Stud Logica, 1995

1993

Kripke Models for Linear Logic.

Gerard Allwein, J. Michael Dunn

J. Symb. Log., 1993

1992

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

1990

Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations.

J. Michael Dunn

Proceedings of the Logics in AI, European Workshop, 1990

1987

Meeting of the Association for Symbolic Logic: Indianapolis.

J. Michael Dunn, Leonard Lipshitz

J. Symb. Log., 1987

Relevant predication 1: The formal theory.

J. Michael Dunn

J. Philos. Log., 1987

1982

A relational representation of quasi-Boolean algebras.

J. Michael Dunn

Notre Dame J. Formal Log., 1982

1980

A sieve for entailments.

J. Michael Dunn

J. Philos. Log., 1980

A consecutive calculus for positive relevant implication with necessity.

Nuel D. Belnap Jr., Anil Gupta, J. Michael Dunn

J. Philos. Log., 1980

1979

R-mingle and beneath. Extensions of the Routley-Meyer semantics for R.

J. Michael Dunn

Notre Dame J. Formal Log., 1979

1975

Axiomatizing Belnap's conditional assertion.

J. Michael Dunn

J. Philos. Log., 1975

1974

Completeness of relevant quantification theories.

J. Michael Dunn, Hugues Leblanc, Robert K. Meyer

Notre Dame J. Formal Log., 1974

1972

A modification of Parry's analytic implication.

J. Michael Dunn

Notre Dame J. Formal Log., 1972

1970

Algebraic Completeness Results for R-Mingle and Its Extensions.

J. Michael Dunn

J. Symb. Log., 1970

1969

E, R, and gama.

Robert K. Meyer, J. Michael Dunn

J. Symb. Log., 1969