Theo dõi
J. Michael Dunn
J. Michael Dunn
Emeritus Professor of Computer Science, Informatics, and Philosophy, Indiana University Bloomington
Email được xác minh tại indiana.edu
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Entailment: The logic of relevance and necessity
AR Anderson, JM Dunn, ND Belnap
Princeton University Press, 2017
33752017
Intuitive semantics for first-degree entailment and ‘coupled trees’
JM Dunn
New Essays on Belnap-Dunn Logic, 21-34, 2019
7592019
Relevance logic
JM Dunn, G Restall
Handbook of philosophical logic, 1-128, 2002
3632002
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
911997
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
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20