关注
J. Michael Dunn
J. Michael Dunn
Emeritus Professor of Computer Science, Informatics, and Philosophy, Indiana University Bloomington
在 indiana.edu 的电子邮件经过验证
标题
引用次数
引用次数
年份
Entailment, Vol. II: The logic of relevance and necessity
AR Anderson, ND Belnap Jr, JM Dunn
Princeton University Press, 2017
33062017
Intuitive semantics for first-degree entailment and ‘coupled trees’
JM Dunn
New Essays on Belnap-Dunn Logic, 21-34, 2019
7252019
Relevance logic
JM Dunn, G Restall
Handbook of philosophical logic, 1-128, 2002
3382002
The algebra of intensional logics
JM Dunn
University of Pittsburgh, 1966
2421966
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
2031990
Partial-gaggles applied to logics with restricted structural rules
JM Dunn
In Peter Schroeder-Heister and Kosta Dosen, editors, Substructural Logics …, 1993
1341993
A comparative study of various model-theoretic treatments of negation: a history of formal negation
JM Dunn
What is negation?, 23-51, 1999
1331999
Generalized galois logics: Relational semantics of nonclassical logical calculi
K Bimbó, JM Dunn
1192008
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
1132012
Generalized ortho negation
JM Dunn
Negation: a notion in focus 7, 3-26, 1996
991996
Gentzen system for positive relevant implication
JM Dunn
Journal of Symbolic Logic 38 (2), 356-357, 1973
991973
Algebraic completeness results for Dummett's LC and its extensions
JM Dunn, RK Meyer
Mathematical Logic Quarterly 17 (1), 225-230, 1971
941971
The trilattice of constructive truth values
Y Shramko, JM Dunn, T Takenaka
Journal of Logic and Computation 11 (6), 761-788, 2001
852001
Relevant predication 1: The formal theory
JM Dunn
Journal of Philosophical Logic 16, 347-381, 1987
851987
Stone duality for lattices
C Hartonas, JM Dunn
Algebra Universalis 37 (3), 391-401, 1997
841997
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
831976
Completeness of relevant quantification theories
RK Meyer, JM Dunn, H Leblanc
Notre Dame Journal of Formal Logic 15 (1), 97-121, 1974
801974
Combinators and structurally free logic
JM Dunn, RK Meyer
Logic Journal of IGPL 5 (4), 505-537, 1997
791997
Negation in the context of gaggle theory
JM Dunn, C Zhou
Studia Logica 80, 235-264, 2005
772005
E, R and γ
RK Meyer, JM Dunn
The journal of symbolic logic 34 (3), 460-474, 1969
751969
系统目前无法执行此操作,请稍后再试。
文章 1–20