Search the dblp DataBase
J. Michael Dunn :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
J. Michael Dunn Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations. [Citation Graph (0, 0)][DBLP ] JELIA, 1990, pp:31-51 [Conf ] John V. Franco , J. Michael Dunn , William H. Wheeler Recent Work at the Interface of Logic, Combinatorics and Computer Science. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1992, v:6, n:1-3, pp:1-15 [Journal ] J. Michael Dunn , Robert K. Meyer Combinators and Structurally Free Logic. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 1997, v:5, n:4, pp:- [Journal ] Katalin Bimbó , J. Michael Dunn Two Extensions of the Structurally Free Logic LC*. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 1998, v:6, n:3, pp:403-424 [Journal ] Gerard Allwein , J. Michael Dunn Kripke Models for Linear Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1993, v:58, n:2, pp:514-545 [Journal ] J. Michael Dunn Algebraic Completeness Results for R-Mingle and Its Extensions. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1970, v:35, n:1, pp:1-13 [Journal ] J. Michael Dunn , Leonard Lipshitz Meeting of the Association for Symbolic Logic: Indianapolis. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1987, v:52, n:3, pp:883-887 [Journal ] Robert K. Meyer , J. Michael Dunn E, R, and gama. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1969, v:34, n:3, pp:460-474 [Journal ] Yaroslav Shramko , J. Michael Dunn , Tatsutoshi Takenaka The Trilattice of Constructive Truth Values. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2001, v:11, n:6, pp:761-788 [Journal ] J. Michael Dunn Partiality and Its Dual. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2000, v:66, n:1, pp:5-40 [Journal ] J. Michael Dunn Positive modal logic. [Citation Graph (0, 0)][DBLP ] Studia Logica, 1995, v:55, n:2, pp:301-317 [Journal ] Search in 0.002secs, Finished in 0.003secs