dblp.uni-trier.dewww.uni-trier.de

J. Michael Dunn

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001
11EEYaroslav Shramko, J. Michael Dunn, Tatsutoshi Takenaka: The Trilattice of Constructive Truth Values. J. Log. Comput. 11(6): 761-788 (2001)
2000
10 J. Michael Dunn: Partiality and Its Dual. Studia Logica 66(1): 5-40 (2000)
1998
9EEKatalin Bimbó, J. Michael Dunn: Two Extensions of the Structurally Free Logic LC*. Logic Journal of the IGPL 6(3): 403-424 (1998)
1997
8EEJ. Michael Dunn, Robert K. Meyer: Combinators and Structurally Free Logic. Logic Journal of the IGPL 5(4): (1997)
1995
7 J. Michael Dunn: Positive modal logic. Studia Logica 55(2): 301-317 (1995)
1993
6 Gerard Allwein, J. Michael Dunn: Kripke Models for Linear Logic. J. Symb. Log. 58(2): 514-545 (1993)
1992
5 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): 1-15 (1992)
1990
4 J. Michael Dunn: Gaggle Theory: An Abstraction of Galois Connections and Residuation with Applications to Negation, Implication, and Various Logical Operations. JELIA 1990: 31-51
1987
3 J. Michael Dunn, Leonard Lipshitz: Meeting of the Association for Symbolic Logic: Indianapolis. J. Symb. Log. 52(3): 883-887 (1987)
1970
2 J. Michael Dunn: Algebraic Completeness Results for R-Mingle and Its Extensions. J. Symb. Log. 35(1): 1-13 (1970)
1969
1 Robert K. Meyer, J. Michael Dunn: E, R, and gama. J. Symb. Log. 34(3): 460-474 (1969)

Coauthor Index

1Gerard Allwein [6]
2Katalin Bimbó [9]
3John V. Franco [5]
4Leonard Lipshitz [3]
5Robert K. Meyer [1] [8]
6Yaroslav Shramko [11]
7Tatsutoshi Takenaka [11]
8William H. Wheeler [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)