J. Michael Dunn
J. Michael Dunn
Emeritus Professor of Computer Science, Informatics, and Philosophy, Indiana University Bloomington
Verified email at indiana.edu
Title
Cited by
Cited by
Year
Intuitive semantics for first-degree entailment and ˇcoupled trees˘
JM Dunn
New Essays on Belnap-Dunn Logic, 21-34, 2019
5622019
The algebra of intensional logics
JM Dunn
1961966
Partial-gaggles applied to logics with restricted structural rules
JM Dunn
In Peter Schroeder-Heister and Kosta Dosen, editors, Substructural Logics …, 1993
1051993
A comparative study of various model-theoretic treatments of negation: a history of formal negation
JM Dunn
What is Negation?, 23-51, 1999
1031999
On the ternary relation and conditionality
J Beall, R Brady, JM Dunn, AP Hazen, E Mares, RK Meyer, G Priest, ...
Journal of philosophical logic 41 (3), 595-612, 2012
852012
Gentzen system for positive relevant implication
JM Dunn
Journal of Symbolic Logic 38 (2), 356-357, 1973
851973
Algebraic completeness results for Dummett's LC and its extensions
JM Dunn, RK Meyer
Mathematical Logic Quarterly 17 (1), 225-230, 1971
801971
Generalized ortho negation
JM Dunn
Negation: a notion in focus 7, 3-26, 1996
781996
Generalized galois logics: Relational semantics of nonclassical logical Calculi
K Bimbó, JM Dunn
772008
The trilattice of constructive truth values
Y Shramko, JM Dunn, T Takenaka
Journal of Logic and Computation 11 (6), 761-788, 2001
762001
Stone duality for lattices
C Hartonas, JM Dunn
Algebra Universalis 37 (3), 391-401, 1997
701997
Combinators and structurally free logic
JM Dunn, RK Meyer
Logic Journal of IGPL 5 (4), 505-537, 1997
691997
Relevant predication 1: The formal theory
JM Dunn
Journal of Philosophical Logic 16 (4), 347-381, 1987
681987
E, R, and ă
RK Meyer, JM Dunn
The Journal of Symbolic Logic 34 (3), 460-474, 1969
671969
A Kripke-style semantics for R-mingle using a binary accessibility relation
JM Dunn
Studia Logica 35 (2), 163-172, 1976
661976
Completeness of relevant quantification theories.
RK Meyer, JM Dunn, H Leblanc
Notre Dame Journal of Formal Logic 15 (1), 97-121, 1974
661974
A modification of Parry's analytic implication.
JM Dunn
Notre Dame Journal of Formal Logic 13 (2), 195-205, 1972
581972
Modern Uses of Multiple-Valued Logic: Invited Papers from the Fifth International Symposium on Multiple-Valued Logic held at Indiana University, Bloomington, Indiana, May 13–16 …
M Dunn, G Epstein
Springer Science & Business Media, 2012
572012
Relevance Logics and Relation Algebras.
K Bimbó, JM Dunn, RD Maddux
Review of Symbolic Logic 2 (1), 2009
552009
Entailment and the disjunctive syllogism
ND Belnap, JM Dunn
Tome 1 Philosophie du langage, Logique philosophique/Volume 1 Philosophy of …, 1981
531981
The system can't perform the operation now. Try again later.
Articles 1–20