Entailment, Vol. II: The logic of relevance and necessity AR Anderson, ND Belnap Jr, JM Dunn Princeton University Press, 2017 | 3306 | 2017 |
Intuitive semantics for first-degree entailment and ‘coupled trees’ JM Dunn New Essays on Belnap-Dunn Logic, 21-34, 2019 | 725 | 2019 |
Relevance logic JM Dunn, G Restall Handbook of philosophical logic, 1-128, 2002 | 338 | 2002 |
The algebra of intensional logics JM Dunn University of Pittsburgh, 1966 | 242 | 1966 |
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 | 203 | 1990 |
Partial-gaggles applied to logics with restricted structural rules JM Dunn In Peter Schroeder-Heister and Kosta Dosen, editors, Substructural Logics …, 1993 | 134 | 1993 |
A comparative study of various model-theoretic treatments of negation: a history of formal negation JM Dunn What is negation?, 23-51, 1999 | 133 | 1999 |
Generalized galois logics: Relational semantics of nonclassical logical calculi K Bimbó, JM Dunn | 119 | 2008 |
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 | 113 | 2012 |
Generalized ortho negation JM Dunn Negation: a notion in focus 7, 3-26, 1996 | 99 | 1996 |
Gentzen system for positive relevant implication JM Dunn Journal of Symbolic Logic 38 (2), 356-357, 1973 | 99 | 1973 |
Algebraic completeness results for Dummett's LC and its extensions JM Dunn, RK Meyer Mathematical Logic Quarterly 17 (1), 225-230, 1971 | 94 | 1971 |
The trilattice of constructive truth values Y Shramko, JM Dunn, T Takenaka Journal of Logic and Computation 11 (6), 761-788, 2001 | 85 | 2001 |
Relevant predication 1: The formal theory JM Dunn Journal of Philosophical Logic 16, 347-381, 1987 | 85 | 1987 |
Stone duality for lattices C Hartonas, JM Dunn Algebra Universalis 37 (3), 391-401, 1997 | 84 | 1997 |
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 | 83 | 1976 |
Completeness of relevant quantification theories RK Meyer, JM Dunn, H Leblanc Notre Dame Journal of Formal Logic 15 (1), 97-121, 1974 | 80 | 1974 |
Combinators and structurally free logic JM Dunn, RK Meyer Logic Journal of IGPL 5 (4), 505-537, 1997 | 79 | 1997 |
Negation in the context of gaggle theory JM Dunn, C Zhou Studia Logica 80, 235-264, 2005 | 77 | 2005 |
E, R and γ RK Meyer, JM Dunn The journal of symbolic logic 34 (3), 460-474, 1969 | 75 | 1969 |