دنبال کردن
J. Michael Dunn
J. Michael Dunn
Emeritus Professor of Computer Science, Informatics, and Philosophy, Indiana University Bloomington
ایمیل تأیید شده در indiana.edu
عنوان
نقل شده توسط
نقل شده توسط
سال
Entailment: The logic of relevance and necessity‏
AR Anderson, JM Dunn, ND Belnap‏
Princeton University Press, 2017‏
33712017
Intuitive semantics for first-degree entailment and ‘coupled trees’‏
JM Dunn‏
New Essays on Belnap-Dunn Logic, 21-34, 2019‏
7582019
Relevance logic‏
JM Dunn, G Restall‏
Handbook of philosophical logic, 1-128, 2002‏
3622002
The algebra of intensional logics‏
JM Dunn‏
University of Pittsburgh, 1966‏
2611966
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‏
2111990
A comparative study of various model-theoretic treatments of negation: a history of formal negation‏
JM Dunn‏
What is negation?, 23-51, 1999‏
1461999
Partial-gaggles applied to logics with restricted structural rules‏
JM Dunn‏
In Peter Schroeder-Heister and Kosta Dosen, editors, Substructural Logics …, 1993‏
1401993
Generalized galois logics: Relational semantics of nonclassical logical calculi‏
K Bimbó, JM Dunn‏
1232008
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‏
1192012
Gentzen system for positive relevant implication‏
JM Dunn‏
Journal of Symbolic Logic 38 (2), 356-357, 1973‏
1051973
Generalized ortho negation‏
JM Dunn‏
Negation: a notion in focus 7, 3-26, 1996‏
1011996
Algebraic completeness results for Dummett's LC and its extensions‏
JM Dunn, RK Meyer‏
Mathematical Logic Quarterly 17 (1), 225-230, 1971‏
971971
Stone duality for lattices‏
C Hartonas, JM Dunn‏
Algebra Universalis 37 (3), 391-401, 1997‏
901997
Relevant predication 1: The formal theory‏
JM Dunn‏
Journal of Philosophical Logic 16, 347-381, 1987‏
901987
Negation in the context of gaggle theory‏
JM Dunn, C Zhou‏
Studia Logica 80, 235-264, 2005‏
882005
Completeness of relevant quantification theories‏
RK Meyer, JM Dunn, H Leblanc‏
Notre Dame Journal of Formal Logic 15 (1), 97-121, 1974‏
871974
The trilattice of constructive truth values‏
Y Shramko, JM Dunn, T Takenaka‏
Journal of Logic and Computation 11 (6), 761-788, 2001‏
862001
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‏
851976
E, R and γ‏
RK Meyer, JM Dunn‏
The journal of symbolic logic 34 (3), 460-474, 1969‏
811969
Combinators and structurally free logic‏
JM Dunn, RK Meyer‏
Logic Journal of IGPL 5 (4), 505-537, 1997‏
801997
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20