Follow
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: The logic of relevance and necessity
AR Anderson, JM Dunn, ND Belnap
Princeton university press, 2017
33662017
Intuitive semantics for first-degree entailment and ‘coupled trees’
JM Dunn
New Essays on Belnap-Dunn Logic, 21-34, 2019
7502019
Relevance logic
JM Dunn, G Restall
Handbook of philosophical logic, 1-128, 2002
3502002
The algebra of intensional logics
JM Dunn
University of Pittsburgh, 1966
2551966
Gaggle theory: an abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators
JM Dunn
European Workshop on Logics in Artificial Intelligence, 31-51, 1990
2061990
A comparative study of various model-theoretic treatments of negation: a history of formal negation
JM Dunn
What is negation?, 23-51, 1999
1411999
Partial-gaggles applied to logics with restricted structural rules
JM Dunn
In Peter Schroeder-Heister and Kosta Dosen, editors, Substructural Logics …, 1993
1371993
Generalized galois logics: Relational semantics of nonclassical logical calculi
K Bimbó, JM Dunn
1222008
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, 595-612, 2012
1182012
Generalized ortho negation
JM Dunn
Negation: a notion in focus 7, 3-26, 1996
1021996
Gentzen system for positive relevant implication
JM Dunn
Journal of Symbolic Logic 38 (2), 356-357, 1973
1011973
Algebraic completeness results for Dummett's LC and its extensions
JM Dunn, RK Meyer
Mathematical Logic Quarterly 17 (1), 225-230, 1971
961971
Stone duality for lattices
C Hartonas, JM Dunn
Algebra Universalis 37 (3), 391-401, 1997
881997
A Kripke-style semantics for R-mingle using a binary accessibility relation
JM Dunn
Studia Logica: An International Journal for Symbolic Logic 35 (2), 163-172, 1976
871976
The trilattice of constructive truth values
Y Shramko, JM Dunn, T Takenaka
Journal of Logic and Computation 11 (6), 761-788, 2001
862001
Negation in the context of gaggle theory
JM Dunn, C Zhou
Studia Logica 80, 235-264, 2005
852005
Relevant predication 1: The formal theory
JM Dunn
Journal of Philosophical Logic 16, 347-381, 1987
851987
Completeness of relevant quantification theories
RK Meyer, JM Dunn, H Leblanc
Notre Dame Journal of Formal Logic 15 (1), 97-121, 1974
821974
Combinators and structurally free logic
JM Dunn, RK Meyer
Logic Journal of IGPL 5 (4), 505-537, 1997
801997
E, R and γ
RK Meyer, JM Dunn
The journal of symbolic logic 34 (3), 460-474, 1969
781969
The system can't perform the operation now. Try again later.
Articles 1–20