Search the dblp DataBase

Publications of Author

1. 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]
   
2. 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]
   
3. 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]
   
4. 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]
   
5. 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]
   
6. 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]
   
7. 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]
   
8. 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]
   
9. 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]
   
10. J. Michael Dunn
    Partiality and Its Dual. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2000, v:66, n:1, pp:5-40 [Journal]
    
11. J. Michael Dunn
    Positive modal logic. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1995, v:55, n:2, pp:301-317 [Journal]