Följ
J. Michael Dunn
J. Michael Dunn
Emeritus Professor of Computer Science, Informatics, and Philosophy, Indiana University Bloomington
Verifierad e-postadress på indiana.edu
Titel
Citeras av
Citeras av
År
Entailment, Vol. II: The logic of relevance and necessity
AR Anderson, ND Belnap Jr, JM Dunn
Princeton University Press, 2017
32182017
Intuitive semantics for first-degree entailment and ‘coupled trees’
JM Dunn
New Essays on Belnap-Dunn Logic, 21-34, 2019
7102019
Relevance logic
JM Dunn, G Restall
Handbook of philosophical logic, 1-128, 2002
3362002
The algebra of intensional logics
JM Dunn
University of Pittsburgh, 1966
2401966
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
2021990
Partial-gaggles applied to logics with restricted structural rules
JM Dunn
In Peter Schroeder-Heister and Kosta Dosen, editors, Substructural Logics …, 1993
1331993
A comparative study of various model-theoretic treatments of negation: a history of formal negation
JM Dunn
What is negation?, 23-51, 1999
1311999
Generalized galois logics: Relational semantics of nonclassical logical calculi
K Bimbó, JM Dunn
1202008
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
1122012
Generalized ortho negation
JM Dunn
Negation: a notion in focus 7, 3-26, 1996
961996
Gentzen system for positive relevant implication
JM Dunn
Journal of Symbolic Logic 38 (2), 356-357, 1973
961973
Algebraic completeness results for Dummett's LC and its extensions
JM Dunn, RK Meyer
Mathematical Logic Quarterly 17 (1), 225-230, 1971
921971
Relevant predication 1: The formal theory
JM Dunn
Journal of Philosophical Logic 16, 347-381, 1987
871987
The trilattice of constructive truth values
Y Shramko, JM Dunn, T Takenaka
Journal of Logic and Computation 11 (6), 761-788, 2001
842001
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
781997
Negation in the context of gaggle theory
JM Dunn, C Zhou
Studia Logica 80, 235-264, 2005
762005
E, R and γ
RK Meyer, JM Dunn
The journal of symbolic logic 34 (3), 460-474, 1969
751969
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20