J. Michael Dunn Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2001
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYaroslav Shramko, J. Michael Dunn, Tatsutoshi Takenaka: The Trilattice of Constructive Truth Values. J. Log. Comput. 11(6): 761-788 (2001)
2000
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Michael Dunn: Partiality and Its Dual. Studia Logica 66(1): 5-40 (2000)
1998
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKatalin Bimbó, J. Michael Dunn: Two Extensions of the Structurally Free Logic LC*. Logic Journal of the IGPL 6(3): 403-424 (1998)
1997
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Michael Dunn, Robert K. Meyer: Combinators and Structurally Free Logic. Logic Journal of the IGPL 5(4): (1997)
1995
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Michael Dunn: Positive modal logic. Studia Logica 55(2): 301-317 (1995)
1993
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGerard Allwein, J. Michael Dunn: Kripke Models for Linear Logic. J. Symb. Log. 58(2): 514-545 (1993)
1992
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. 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
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Michael Dunn, Leonard Lipshitz: Meeting of the Association for Symbolic Logic: Indianapolis. J. Symb. Log. 52(3): 883-887 (1987)
1970
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Michael Dunn: Algebraic Completeness Results for R-Mingle and Its Extensions. J. Symb. Log. 35(1): 1-13 (1970)
1969
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRobert 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 © Tue Nov 24 16:13:34 2009 by Michael Ley (ley@uni-trier.de)