J. Michael Dunn - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 37 from 37

2021

Implicational Tonoid Logics: Algebraic and Relational SemanticsEunsuk Yang, J. Michael Dunn. lu, 15(4):435-456, 2021. [doi]

Implicational Partial Galois Logics: Relational SemanticsEunsuk Yang, J. Michael Dunn. lu, 15(4):457-476, 2021. [doi]

2018

Two Manuscripts, One by Routley, One by Meyer: The Origins of the Routley-Meyer Semantics for Relevance LogicsKatalin Bimbó, J. Michael Dunn, Nicholas Ferenz. auasjlog, 15(2):171-209, 2018. [doi]

2017

IntroductionKatalin Bimbó, J. Michael Dunn. flap, 4(3), 2017. [doi]

The Emergence of Set-theoretical Semantics for Relevance Logics around 1970Katalin Bimbó, J. Michael Dunn. flap, 4(3), 2017. [doi]

2015

The Relevance of Relevance to Relevance LogicJ. Michael Dunn. icla 2015: 11-29 [doi]

2014

Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus ${LT_\to^{t}}$ for Implicational Ticket EntailmentKatalin Bimbó, J. Michael Dunn. lu, 8(2):141-164, 2014. [doi]

Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation AlgebrasJ. Michael Dunn. In Alexandru Baltag, Sonja Smets, editors, Johan van Benthem on Logic and Information Dynamics. pages 881-894, Springer, 2014. [doi]

2013

On the decidability of implicational ticket entailmentKatalin Bimbó, J. Michael Dunn. JSYML, 78(1):214-236, 2013. [doi]

Editors' Introduction: The Third Life of Quantum Logic: Quantum Logic Inspired by Quantum ComputingJ. Michael Dunn, Lawrence S. Moss, Zhenghan Wang. jphil, 42(3):443-459, 2013. [doi]

2012

On the Ternary Relation and ConditionalityJ. 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 Sylan. jphil, 41(3):595-612, 2012. [doi]

New Consecution Calculi for $R^{t}_{\to}$Katalin Bimbó, J. Michael Dunn. ndjfl, 53(4):491-509, 2012. [doi]

2010

Contradictory Information: Too Much of a Good ThingJ. Michael Dunn. jphil, 39(4):425-452, 2010. [doi]

2009

Relevance Logics and Relation AlgebrasKatalin Bimbó, J. Michael Dunn, Roger D. Maddux. rsl, 2(1):102-131, 2009. [doi]

Symmetric Generalized Galois LogicsKatalin Bimbó, J. Michael Dunn. lu, 3(1):125-152, 2009. [doi]

2005

Relational Semantics for Kleene Logic and Action LogicKatalin Bimbó, J. Michael Dunn. ndjfl, 46(4):461-490, 2005. [doi]

Canonical extensions and relational completeness of some substructural logicsJ. Michael Dunn, Mai Gehrke, Alessandra Palmigiano. JSYML, 70(3):713-740, 2005. [doi]

Quantum logic as motivated by quantum computingJ. Michael Dunn, Tobias J. Hagge, Lawrence S. Moss, Zhenghan Wang. JSYML, 70(2):353-359, 2005. [doi]

2001

The Trilattice of Constructive Truth ValuesYaroslav Shramko, J. Michael Dunn, Tatsutoshi Takenaka. logcom, 11(6):761-788, 2001. [doi]

2000

Partiality and Its DualJ. Michael Dunn. sLogica, 66(1):5-40, 2000.

1998

Two Extensions of the Structurally Free Logic LC*Katalin Bimbó, J. Michael Dunn. igpl, 6(3):403-424, 1998. [doi]

1997

Combinators and Structurally Free LogicJ. Michael Dunn, Robert K. Meyer. igpl, 5(4):505-537, 1997. [doi]

1995

Positive modal logicJ. Michael Dunn. sLogica, 55(2):301-317, 1995.

1993

Kripke Models for Linear LogicGerard Allwein, J. Michael Dunn. JSYML, 58(2):514-545, 1993.

1992

Recent Work at the Interface of Logic, Combinatorics and Computer ScienceJohn V. Franco, J. Michael Dunn, William H. Wheeler. AMAI, 6(1-3):1-15, 1992.

1990

Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical OperationsJ. Michael Dunn. jelia 1991: 31-51

1987

Relevant predication 1: The formal theoryJ. Michael Dunn. jphil, 16(4):347-381, 1987. [doi]

Meeting of the Association for Symbolic Logic: IndianapolisJ. Michael Dunn, Leonard Lipshitz. JSYML, 52(3):883-887, 1987.

1982

A relational representation of quasi-Boolean algebrasJ. Michael Dunn. ndjfl, 23(4):353-357, 1982. [doi]

1980

A sieve for entailmentsJ. Michael Dunn. jphil, 9(1):41-57, 1980. [doi]

A consecutive calculus for positive relevant implication with necessityNuel D. Belnap Jr., Anil Gupta, J. Michael Dunn. jphil, 9(4):343-362, 1980. [doi]

1979

R-mingle and beneath. Extensions of the Routley-Meyer semantics for RJ. Michael Dunn. ndjfl, 20(2):369-376, 1979. [doi]

1975

Axiomatizing Belnap's conditional assertionJ. Michael Dunn. jphil, 4(3):383-397, 1975. [doi]

1974

Completeness of relevant quantification theoriesJ. Michael Dunn, Hugues Leblanc, Robert K. Meyer. ndjfl, 15(1):97-121, 1974. [doi]

1972

A modification of Parry's analytic implicationJ. Michael Dunn. ndjfl, 13(2):195-205, 1972. [doi]

1970

Algebraic Completeness Results for R-Mingle and Its ExtensionsJ. Michael Dunn. JSYML, 35(1):1-13, 1970.

1969

E, R, and gamaRobert K. Meyer, J. Michael Dunn. JSYML, 34(3):460-474, 1969.

Sign in or sign up to see more results.

runs on WebDSL