×
Compute Distance To:
Author ID: dunn.jon-michael Recent zbMATH articles by "Dunn, Jon Michael"
Published as: Dunn, J. Michael; Dunn, J. M.; Dunn, Jon Michael
External Links: MGP · Wikidata · Google Scholar · dblp · GND · IdRef
Documents Indexed: 72 Publications since 1967, including 4 Books
3 Contributions as Editor · 2 Further Contributions
Biographic References: 5 Publications
Co-Authors: 35 Co-Authors with 40 Joint Publications
551 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

61 Publications have been cited 1,265 times in 689 Documents Cited by Year
Intuitive semantics for first-degree entailments and ‘coupled trees’. Zbl 1435.03043
Dunn, J. Michael
171
1976
Entailment. The logic of relevance and necessity. Vol. II. Zbl 0921.03025
Anderson, Alan Ross; Belnap, Nuel D. jun.; Dunn, J. Michael
125
1992
Relevance logic and entailment. Zbl 0875.03051
Dunn, J. Michael
83
1986
Algebraic methods in philosophical logic. Zbl 1014.03002
Dunn, J. Michael; Hardegree, Gary
71
2001
Algebraic completeness results for R-mingle and its extensions. Zbl 0231.02024
Dunn, J. Michael
63
1970
Partiality and its dual. Zbl 0988.03012
Dunn, J. Michael
60
2000
Positive modal logic. Zbl 0831.03007
Dunn, J. Michael
56
1995
Canonical extensions and relational completeness of some substructural logics. Zbl 1101.03021
Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra
49
2005
Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators. Zbl 0814.03044
Dunn, J. Michael
39
1991
Generalized Galois logics. Relational semantics of nonclassical logical calculi. Zbl 1222.03001
Bimbó, Katalin; Dunn, J. Michael
38
2008
Kripke models for linear logic. Zbl 0795.03013
Allwein, Gerard; Dunn, J. Michael
33
1993
Algebraic completeness results for Dummett’s LC and its extensions. Zbl 0252.02018
Dunn, J. Michael; Meyer, Robert K.
31
1971
The trilattice of constructive truth values. Zbl 0996.03014
Shramko, Yaroslav; Dunn, J. Michael; Takenaka, Tatsutoshi
30
2001
A comparative study of various model-theoretic treatments of negation: A history of formal negation. Zbl 0972.03028
Dunn, J. Michael
28
1999
Stone duality for lattices. Zbl 0902.06008
Hartonas, C.; Dunn, J. M.
25
1997
Combinators and structurally free logic. Zbl 0878.03008
Dunn, J. Michael; Meyer, Robert K.
22
1997
A Kripke-style semantics for R-mingle using a binary accessibility relation. Zbl 0328.02010
Dunn, J. Michael
22
1976
Negation in the context of gaggle theory. Zbl 1097.03015
Dunn, J. Michael; Zhou, Chunlai
21
2005
Curry’s paradox. Zbl 0411.03019
Meyer, Robert K.; Routley, Richard; Dunn, J. Michael
20
1979
Partial gaggles applied to logics with restricted structural rules. Zbl 0941.03521
Dunn, J. Michael
19
1994
Generalized ortho negation. Zbl 0979.03027
Dunn, J. Michael
19
1996
Completeness of relevant quantification theories. Zbl 0272.02028
Meyer, Robert K.; Dunn, J. Michael; Leblanc, Hugues
19
1974
On the ternary relation and conditionality. Zbl 1260.03049
Beall, Jc; Brady, Ross; Dunn, J. Michael; Hazen, A. P.; Mares, Edwin; Meyer, Robert K.; Priest, Graham; Restall, Greg; Ripley, David; Slaney, John; Sylvan, Richard
17
2012
E, R and \(\gamma\). Zbl 0274.02008
Meyer, Robert K.; Dunn, J. Michael
16
1969
Contradictory information: too much of a good thing. Zbl 1207.03032
Dunn, J. Michael
16
2010
Relevant predication. I: The formal theory. Zbl 0638.03003
Dunn, J. Michael
13
1987
Four-valued logic. Zbl 1034.03021
Bimbó, Katalin; Dunn, J. Michael
11
2001
A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic. Zbl 0406.03030
Dunn, J. Michael
10
1979
A modification of Parry’s analytic implication. Zbl 0197.27503
Dunn, J. Michael
10
1972
Two extensions of the structurally free logic LC. Zbl 0904.03006
Bimbó, Katalin; Dunn, J. Michael
8
1998
Handbook of philosophical logic. Volume III: Alternatives to classical logic. Zbl 0603.03001
8
1986
A representation of relation algebras using Routley-Meyer frames. Zbl 1039.03051
Dunn, J. Michael
8
2001
On the decidability of implicational ticket entailment. Zbl 1275.03159
Bimbó, Katalin; Dunn, J. Michael
8
2013
Quantum logic as motivated by quantum computing. Zbl 1093.03036
Dunn, J. Michael; Hagge, Tobias J.; Moss, Lawrence S.; Wang, Zhenghan
8
2005
New consecution calculi for \(R^{t}_{\to}\). Zbl 1345.03046
Bimbó, Katalin; Dunn, J. Michael
7
2012
Quantification and RM. Zbl 0359.02014
Dunn, J. Michael
6
1976
Homomorphisms of intensionally complemented distributive lattices. Zbl 0155.03102
Dunn, J. M.; Belnap, N. D. jun.
6
1968
The relevance of relevance to relevance logic. Zbl 1304.03052
Dunn, J. Michael
6
2015
A sieve for entailments. Zbl 0428.03011
Dunn, J. Michael
5
1980
Relevant Robinson’s arithmetic. Zbl 0434.03018
Dunn, J. Michael
5
1979
A relational representation of quasi-Boolean algebras. Zbl 0464.03052
Dunn, J. Michael
5
1982
Directions in relevant logic. Zbl 0731.03014
5
1989
Relational semantics for Kleene logic and action logic. Zbl 1099.03014
Bimbó, Katalin; Dunn, J. Michael
5
2005
Relevance logics and relation algebras. Zbl 1174.03005
Bimbó, Katalin; Dunn, J. Michael; Maddux, Roger D.
4
2009
A consecutive calculus for positive relevant implication with necessity. Zbl 0448.03010
Belnap jun., Nuel D.; Gupta, Anil; Dunn, J. Michael
3
1980
Ternary relational semantics and beyond: Programs as arguments (data) and programs as functions (programs). Zbl 1031.03008
Dunn, J. M.
3
2001
Symmetric generalized Galois logics. Zbl 1255.03033
Bimbó, Katalin; Dunn, J. Michael
3
2009
Editors’ introduction: The third life of quantum logic: Quantum logic inspired by quantum computing. Zbl 1276.03047
Dunn, J. Michael; Moss, Lawrence S.; Wang, Zhenghan
3
2013
Two manuscripts, one by Routley, one by Meyer: the origins of the Routley-Meyer semantics for relevance logics. Zbl 1455.03023
Bimbó, Katalin; Dunn, Jon Michael; Ferenz, Nicholas
3
2018
Larisa Maksimova’s early contributions to relevance logic. Zbl 1429.03001
Bimbó, Katalin; Dunn, J. Michael
2
2018
Modern uses of multiple-valued logic. Invited papers from the fifth international symposium on multiple-valued logic (ISMVL) held at Indiana University, Bloomington, Indiana, May 13-16, 1975. With a bibliography of many-valued logic by Robert G. Wolf. Zbl 0355.00008
2
1977
A truth value semantics for modal logic. Zbl 0261.02013
Dunn, J. Michael
2
1973
Axiomatizing Belnap’s conditional assertion. Zbl 0329.02006
Dunn, J. Michael
2
1975
Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment. Zbl 1344.03028
Bimbó, Katalin; Dunn, J. Michael
2
2014
Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras. Zbl 1354.03026
Dunn, J. Michael
2
2014
The algebra of intensional logics. With an introductory essay by Katalin Bimbó. Zbl 1462.03004
Dunn, J. Michael
2
2019
R-Mingle and beneath. Extensions of the Routley-Meyer semantics for R. Zbl 0292.02021
Dunn, J. Michael
1
1979
Final value optimal stochastic control problem with bounded controller. Zbl 0189.46902
van Gelder, A.; Dunn, J.; Mendelsohn, J.
1
1967
Incompleteness of the bibinary semantics for R. Zbl 0652.03011
Dunn, J. Michael
1
1987
Two, three, four, infinity: the path to the four-valued logic and beyond. Zbl 1469.03062
Dunn, J. Michael
1
2019
Contradictory information: better than nothing? The paradox of the two firefighters. Zbl 1469.03075
Dunn, J. Michael; Kiefer, Nicholas M.
1
2019
The algebra of intensional logics. With an introductory essay by Katalin Bimbó. Zbl 1462.03004
Dunn, J. Michael
2
2019
Two, three, four, infinity: the path to the four-valued logic and beyond. Zbl 1469.03062
Dunn, J. Michael
1
2019
Contradictory information: better than nothing? The paradox of the two firefighters. Zbl 1469.03075
Dunn, J. Michael; Kiefer, Nicholas M.
1
2019
Two manuscripts, one by Routley, one by Meyer: the origins of the Routley-Meyer semantics for relevance logics. Zbl 1455.03023
Bimbó, Katalin; Dunn, Jon Michael; Ferenz, Nicholas
3
2018
Larisa Maksimova’s early contributions to relevance logic. Zbl 1429.03001
Bimbó, Katalin; Dunn, J. Michael
2
2018
The relevance of relevance to relevance logic. Zbl 1304.03052
Dunn, J. Michael
6
2015
Extracting \(\mathsf{BB'IW}\) inhabitants of simple types from proofs in the sequent calculus \(LT_\to^t\) for implicational ticket entailment. Zbl 1344.03028
Bimbó, Katalin; Dunn, J. Michael
2
2014
Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras. Zbl 1354.03026
Dunn, J. Michael
2
2014
On the decidability of implicational ticket entailment. Zbl 1275.03159
Bimbó, Katalin; Dunn, J. Michael
8
2013
Editors’ introduction: The third life of quantum logic: Quantum logic inspired by quantum computing. Zbl 1276.03047
Dunn, J. Michael; Moss, Lawrence S.; Wang, Zhenghan
3
2013
On the ternary relation and conditionality. Zbl 1260.03049
Beall, Jc; Brady, Ross; Dunn, J. Michael; Hazen, A. P.; Mares, Edwin; Meyer, Robert K.; Priest, Graham; Restall, Greg; Ripley, David; Slaney, John; Sylvan, Richard
17
2012
New consecution calculi for \(R^{t}_{\to}\). Zbl 1345.03046
Bimbó, Katalin; Dunn, J. Michael
7
2012
Contradictory information: too much of a good thing. Zbl 1207.03032
Dunn, J. Michael
16
2010
Relevance logics and relation algebras. Zbl 1174.03005
Bimbó, Katalin; Dunn, J. Michael; Maddux, Roger D.
4
2009
Symmetric generalized Galois logics. Zbl 1255.03033
Bimbó, Katalin; Dunn, J. Michael
3
2009
Generalized Galois logics. Relational semantics of nonclassical logical calculi. Zbl 1222.03001
Bimbó, Katalin; Dunn, J. Michael
38
2008
Canonical extensions and relational completeness of some substructural logics. Zbl 1101.03021
Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra
49
2005
Negation in the context of gaggle theory. Zbl 1097.03015
Dunn, J. Michael; Zhou, Chunlai
21
2005
Quantum logic as motivated by quantum computing. Zbl 1093.03036
Dunn, J. Michael; Hagge, Tobias J.; Moss, Lawrence S.; Wang, Zhenghan
8
2005
Relational semantics for Kleene logic and action logic. Zbl 1099.03014
Bimbó, Katalin; Dunn, J. Michael
5
2005
Algebraic methods in philosophical logic. Zbl 1014.03002
Dunn, J. Michael; Hardegree, Gary
71
2001
The trilattice of constructive truth values. Zbl 0996.03014
Shramko, Yaroslav; Dunn, J. Michael; Takenaka, Tatsutoshi
30
2001
Four-valued logic. Zbl 1034.03021
Bimbó, Katalin; Dunn, J. Michael
11
2001
A representation of relation algebras using Routley-Meyer frames. Zbl 1039.03051
Dunn, J. Michael
8
2001
Ternary relational semantics and beyond: Programs as arguments (data) and programs as functions (programs). Zbl 1031.03008
Dunn, J. M.
3
2001
Partiality and its dual. Zbl 0988.03012
Dunn, J. Michael
60
2000
A comparative study of various model-theoretic treatments of negation: A history of formal negation. Zbl 0972.03028
Dunn, J. Michael
28
1999
Two extensions of the structurally free logic LC. Zbl 0904.03006
Bimbó, Katalin; Dunn, J. Michael
8
1998
Stone duality for lattices. Zbl 0902.06008
Hartonas, C.; Dunn, J. M.
25
1997
Combinators and structurally free logic. Zbl 0878.03008
Dunn, J. Michael; Meyer, Robert K.
22
1997
Generalized ortho negation. Zbl 0979.03027
Dunn, J. Michael
19
1996
Positive modal logic. Zbl 0831.03007
Dunn, J. Michael
56
1995
Partial gaggles applied to logics with restricted structural rules. Zbl 0941.03521
Dunn, J. Michael
19
1994
Kripke models for linear logic. Zbl 0795.03013
Allwein, Gerard; Dunn, J. Michael
33
1993
Entailment. The logic of relevance and necessity. Vol. II. Zbl 0921.03025
Anderson, Alan Ross; Belnap, Nuel D. jun.; Dunn, J. Michael
125
1992
Gaggle theory: An abstraction of Galois connections and residuation, with applications to negation, implication, and various logical operators. Zbl 0814.03044
Dunn, J. Michael
39
1991
Directions in relevant logic. Zbl 0731.03014
5
1989
Relevant predication. I: The formal theory. Zbl 0638.03003
Dunn, J. Michael
13
1987
Incompleteness of the bibinary semantics for R. Zbl 0652.03011
Dunn, J. Michael
1
1987
Relevance logic and entailment. Zbl 0875.03051
Dunn, J. Michael
83
1986
Handbook of philosophical logic. Volume III: Alternatives to classical logic. Zbl 0603.03001
8
1986
A relational representation of quasi-Boolean algebras. Zbl 0464.03052
Dunn, J. Michael
5
1982
A sieve for entailments. Zbl 0428.03011
Dunn, J. Michael
5
1980
A consecutive calculus for positive relevant implication with necessity. Zbl 0448.03010
Belnap jun., Nuel D.; Gupta, Anil; Dunn, J. Michael
3
1980
Curry’s paradox. Zbl 0411.03019
Meyer, Robert K.; Routley, Richard; Dunn, J. Michael
20
1979
A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic. Zbl 0406.03030
Dunn, J. Michael
10
1979
Relevant Robinson’s arithmetic. Zbl 0434.03018
Dunn, J. Michael
5
1979
R-Mingle and beneath. Extensions of the Routley-Meyer semantics for R. Zbl 0292.02021
Dunn, J. Michael
1
1979
Modern uses of multiple-valued logic. Invited papers from the fifth international symposium on multiple-valued logic (ISMVL) held at Indiana University, Bloomington, Indiana, May 13-16, 1975. With a bibliography of many-valued logic by Robert G. Wolf. Zbl 0355.00008
2
1977
Intuitive semantics for first-degree entailments and ‘coupled trees’. Zbl 1435.03043
Dunn, J. Michael
171
1976
A Kripke-style semantics for R-mingle using a binary accessibility relation. Zbl 0328.02010
Dunn, J. Michael
22
1976
Quantification and RM. Zbl 0359.02014
Dunn, J. Michael
6
1976
Axiomatizing Belnap’s conditional assertion. Zbl 0329.02006
Dunn, J. Michael
2
1975
Completeness of relevant quantification theories. Zbl 0272.02028
Meyer, Robert K.; Dunn, J. Michael; Leblanc, Hugues
19
1974
A truth value semantics for modal logic. Zbl 0261.02013
Dunn, J. Michael
2
1973
A modification of Parry’s analytic implication. Zbl 0197.27503
Dunn, J. Michael
10
1972
Algebraic completeness results for Dummett’s LC and its extensions. Zbl 0252.02018
Dunn, J. Michael; Meyer, Robert K.
31
1971
Algebraic completeness results for R-mingle and its extensions. Zbl 0231.02024
Dunn, J. Michael
63
1970
E, R and \(\gamma\). Zbl 0274.02008
Meyer, Robert K.; Dunn, J. Michael
16
1969
Homomorphisms of intensionally complemented distributive lattices. Zbl 0155.03102
Dunn, J. M.; Belnap, N. D. jun.
6
1968
Final value optimal stochastic control problem with bounded controller. Zbl 0189.46902
van Gelder, A.; Dunn, J.; Mendelsohn, J.
1
1967
all top 5

Cited by 478 Authors

31 Dunn, Jon Michael
26 Kamide, Norihiro
24 Wansing, Heinrich Theodor
20 Bimbó, Katalin
16 Robles, Gemma
16 Shramko, Yaroslav V.
14 Mares, Edwin D.
13 Avron, Arnon
13 Gehrke, Mai
13 Petrukhin, Yaroslav Igorevich
12 Palmigiano, Alessandra
12 Restall, Greg
11 Brady, Ross Thomas
11 Meyer, Robert Kenneth
11 Raftery, James G.
8 Hartonas, Chrysafis
8 Jansana, Ramon
7 Goldblatt, Robert Ian
7 Maksimova, Larisa L’vovna
6 Beall, Jc
6 Conradie, Willem
6 Ferguson, Thomas Macaulay
6 Humberstone, Lloyd
6 Ma, Minghui
6 Odintsov, Sergei P.
6 Přenosil, Adam
6 Priest, Graham
6 Priestley, Hilary A.
6 Pym, David J.
6 Sylvan, Richard
6 Shangin, Vasily
6 Yang, Eunsuk
5 Arieli, Ofer
5 Ciucci, Davide
5 Drobyshevich, Sergeĭ Andreevich
5 Galatos, Nikolaos
5 Jipsen, Peter
5 Moraschini, Tommaso
5 Omori, Hitoshi
5 Paoli, Francesco
5 Ripley, David
5 Standefer, Shawn
5 Weber, Zach
4 Blok, Willem Johannes
4 Buszkowski, Wojciech
4 Cattaneo, Gianpiero
4 Celani, Sergio Arturo
4 Czelakowski, Janusz
4 De Groot, Jim
4 Font, Josep Maria
4 González, Luciano Javier
4 Gouveia, Maria João
4 Lin, Yuanlei
4 Maddux, Roger D.
4 Metcalfe, George
4 Moortgat, Michael
4 Muskens, Reinhard A.
4 Ono, Hiroakira
4 Orłowska, Ewa S.
4 Pynko, Alexej P.
4 Suzuki, Tomoyuki
4 Tedder, Andrew
4 Tokarz, Marek
4 Urquhart, Alasdair
4 van Alten, Clint J.
4 van Benthem, Johan F. A. K.
4 Wintein, Stefan
4 Zaitsev, Dmitry V.
3 Albuquerque, Hugo
3 Badia, Guillermo
3 Belnap, Nuel D. jun.
3 Bernardi, Raffaella
3 Cabrer, Leonardo Manuel
3 Caleiro, Carlos
3 Carnielli, Walter Alexandre
3 Cheng, Jingde
3 Cintula, Petr
3 Deutsch, Harry
3 Docherty, Simon
3 Dubois, Didier
3 Dziobiak, Wiesław
3 Fallahi, Asadollah
3 Goble, Lou
3 Haviar, Miroslav
3 Hazen, Allen P.
3 Marcos, João
3 Mclean, Brett
3 Mikulás, Szabolcs
3 Muravitsky, Alexei Yu.
3 Pelletier, Francis Jeffry
3 Rivieccio, Umberto
3 Sadrzadeh, Mehrnoosh
3 Sedlár, Igor
3 Venema, Yde
3 Wannenburg, Johann J.
3 Weiss, Yale
3 Yun, Veta Fëdorovna
3 Zamansky, Anna
3 Zhou, Chunlai
3 Zohar, Yoni
...and 378 more Authors
all top 5

Cited in 70 Serials

123 Studia Logica
86 Journal of Philosophical Logic
30 Notre Dame Journal of Formal Logic
30 The Review of Symbolic Logic
27 Journal of Applied Non-Classical Logics
27 Logica Universalis
19 The Journal of Symbolic Logic
19 Theoretical Computer Science
18 Algebra Universalis
15 Journal of Logic, Language and Information
15 Logic and Logical Philosophy
14 Annals of Pure and Applied Logic
13 The Bulletin of Symbolic Logic
9 Artificial Intelligence
9 Synthese
7 Bulletin of the Section of Logic
7 Mathematical Logic Quarterly (MLQ)
7 Journal of Applied Logic
6 Fuzzy Sets and Systems
6 Journal of Pure and Applied Algebra
6 Order
6 Erkenntnis
6 Logical Methods in Computer Science
5 Algebra and Logic
5 Journal of Automated Reasoning
5 Soft Computing
4 Transactions of the American Mathematical Society
4 Archive for Mathematical Logic
4 Annals of Mathematics and Artificial Intelligence
4 Journal of Logical and Algebraic Methods in Programming
3 Journal of Algebra
3 History and Philosophy of Logic
3 Information and Computation
3 Indagationes Mathematicae. New Series
3 Applied Categorical Structures
3 Topoi
2 International Journal of Theoretical Physics
2 Mathematical Notes
2 Information Sciences
2 Siberian Mathematical Journal
2 International Journal of Algebra and Computation
2 Journal of Multiple-Valued Logic and Soft Computing
2 Nôus
2
1 Communications in Algebra
1 International Journal of General Systems
1 Information Processing Letters
1 Applied Mathematics and Computation
1 International Journal of Mathematics and Mathematical Sciences
1 Mathematische Annalen
1 Mathematica Slovaca
1 Quaestiones Mathematicae
1 Topology and its Applications
1 Physica D
1 Journal of Symbolic Computation
1 International Journal of Approximate Reasoning
1 Formal Aspects of Computing
1 MSCS. Mathematical Structures in Computer Science
1 International Journal of Computer Mathematics
1 Bulletin of the American Mathematical Society. New Series
1 RAIRO. Informatique Théorique et Applications
1 Formal Methods in System Design
1 Higher-Order and Symbolic Computation
1 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
1 Central European Journal of Mathematics
1 ACM Transactions on Computational Logic
1 Proceedings of the Japan Academy
1 European Journal for Philosophy of Science
1 European Journal of Mathematics
1 Philosophical Studies

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.