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

J. Michael Dunn Coauthor index pubzone.org

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

DBLP keys2010
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Michael Dunn: Contradictory Information: Too Much of a Good Thing. J. Philosophical Logic 39(4): 425-452 (2010)
2005
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Michael Dunn, Tobias J. Hagge, Lawrence S. Moss, Zhenghan Wang: Quantum logic as motivated by quantum computing. J. Symb. Log. 70(2): 353-359 (2005)
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Michael Dunn, Mai Gehrke, Alessandra Palmigiano: Canonical extensions and relational completeness of some substructural logics. J. Symb. Log. 70(3): 713-740 (2005)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKatalin Bimbó, J. Michael Dunn: Relational Semantics for Kleene Logic and Action Logic. Notre Dame Journal of Formal Logic 46(4): 461-490 (2005)
2001
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
10Electronic Edition 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): 505-537 (1997)
1995
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJ. Michael Dunn: Positive modal logic. Studia Logica 55(2): 301-317 (1995)
1993
6Electronic Edition 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
5Electronic Edition 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] [12]
3John V. Franco [5]
4Mai Gehrke [13]
5Tobias J. Hagge [14]
6Leonard Lipshitz [3]
7Robert K. Meyer [1] [8]
8Lawrence S. Moss [14]
9Alessandra Palmigiano [13]
10Yaroslav Shramko [11]
11Tatsutoshi Takenaka [11]
12Zhenghan Wang [14]
13William H. Wheeler [5]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page