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
Entailment, Vol. II: The logic of relevance and necessity
AR Anderson, ND Belnap Jr, JM Dunn
Princeton University Press, 2017
28992017
Intuitive semantics for first-degree entailment and ‘coupled trees’
JM Dunn
New Essays on Belnap-Dunn Logic, 21-34, 2019
5922019
The algebra of intensional logics
JM Dunn
University of Pittsburgh, 1966
2051966
Partial-gaggles applied to logics with restricted structural rules
JM Dunn
In Peter Schroeder-Heister and Kosta Dosen, editors, Substructural Logics …, 1993
1111993
A comparative study of various model-theoretic treatments of negation: a history of formal negation
JM Dunn
What is negation?, 23-51, 1999
1071999
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
912012
Gentzen system for positive relevant implication
JM Dunn
Journal of Symbolic Logic 38 (2), 356-357, 1973
901973
Algebraic completeness results for Dummett's LC and its extensions
JM Dunn, RK Meyer
Mathematical Logic Quarterly 17 (1), 225-230, 1971
841971
Generalized ortho negation
JM Dunn
Negation, 3-26, 2010
822010
Generalized galois logics: Relational semantics of nonclassical logical Calculi
K Bimbó, JM Dunn
812008
The trilattice of constructive truth values
Y Shramko, JM Dunn, T Takenaka
Journal of Logic and Computation 11 (6), 761-788, 2001
752001
Stone duality for lattices
C Hartonas, JM Dunn
Algebra Universalis 37 (3), 391-401, 1997
751997
Relevant predication 1: The formal theory
JM Dunn
Journal of Philosophical Logic 16 (4), 347-381, 1987
751987
Combinators and structurally free logic
JM Dunn, RK Meyer
Logic Journal of IGPL 5 (4), 505-537, 1997
721997
Completeness of relevant quantification theories.
RK Meyer, JM Dunn, H Leblanc
Notre Dame Journal of Formal Logic 15 (1), 97-121, 1974
711974
E, R and γ
RK Meyer, JM Dunn
The Journal of Symbolic Logic 34 (3), 460-474, 1969
691969
A Kripke-style semantics for R-mingle using a binary accessibility relation
JM Dunn
Studia Logica 35 (2), 163-172, 1976
671976
A modification of Parry's analytic implication.
JM Dunn
Notre Dame Journal of Formal Logic 13 (2), 195-205, 1972
591972
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
562012
Entailment and the disjunctive syllogism
ND Belnap, JM Dunn
Tome 1 Philosophie du langage, Logique philosophique/Volume 1 Philosophy of …, 1981
561981
The system can't perform the operation now. Try again later.
Articles 1–20