×

zbMATH — the first resource for mathematics

Dunn, Jon Michael

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; Dunn, J.
External Links: MGP · Wikidata · Google Scholar · dblp · GND · IdRef
Documents Indexed: 68 Publications since 1967, including 6 Books
Biographic References: 3 Publications

Publications by Year

Citations contained in zbMATH Open

56 Publications have been cited 1,095 times in 624 Documents Cited by Year
Intuitive semantics for first-degree entailments and ‘coupled trees’. Zbl 1435.03043
Dunn, J. Michael
153
1976
Entailment. The logic of relevance and necessity. Vol. II. Zbl 0921.03025
Anderson, Alan Ross; Belnap, Nuel D. jun.; Dunn, J. Michael
108
1992
Relevance logic and entailment. Zbl 0875.03051
Dunn, J. Michael
78
1986
Algebraic methods in philosophical logic. Zbl 1014.03002
Dunn, J. Michael; Hardegree, Gary
61
2001
Algebraic completeness results for R-mingle and its extensions. Zbl 0231.02024
Dunn, J. Michael
55
1970
Positive modal logic. Zbl 0831.03007
Dunn, J. Michael
49
1995
Partiality and its dual. Zbl 0988.03012
Dunn, J. Michael
49
2000
Canonical extensions and relational completeness of some substructural logics. Zbl 1101.03021
Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra
46
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
31
1991
Generalized Galois logics. Relational semantics of nonclassical logical calculi. Zbl 1222.03001
Bimbó, Katalin; Dunn, J. Michael
30
2008
Algebraic completeness results for Dummett’s LC and its extensions. Zbl 0252.02018
Dunn, J. Michael; Meyer, Robert K.
29
1971
Kripke models for linear logic. Zbl 0795.03013
Allwein, Gerard; Dunn, J. Michael
28
1993
The trilattice of constructive truth values. Zbl 0996.03014
Shramko, Yaroslav; Dunn, J. Michael; Takenaka, Tatsutoshi
28
2001
A comparative study of various model-theoretic treatments of negation: A history of formal negation. Zbl 0972.03028
Dunn, J. Michael
26
1999
Stone duality for lattices. Zbl 0902.06008
Hartonas, C.; Dunn, J. M.
22
1997
Combinators and structurally free logic. Zbl 0878.03008
Dunn, J. Michael; Meyer, Robert K.
21
1997
Completeness of relevant quantification theories. Zbl 0272.02028
Meyer, Robert K.; Dunn, J. Michael; Leblanc, Hugues
19
1974
Curry’s paradox. Zbl 0411.03019
Meyer, Robert K.; Routley, Richard; Dunn, J. Michael
18
1979
A Kripke-style semantics for R-mingle using a binary accessibility relation. Zbl 0328.02010
Dunn, J. Michael
18
1976
Generalized ortho negation. Zbl 0979.03027
Dunn, J. Michael
17
1996
Partial gaggles applied to logics with restricted structural rules. Zbl 0941.03521
Dunn, J. Michael
16
1994
E, R and \(\gamma\). Zbl 0274.02008
Meyer, Robert K.; Dunn, J. Michael
16
1969
Negation in the context of gaggle theory. Zbl 1097.03015
Dunn, J. Michael; Zhou, Chunlai
16
2005
Contradictory information: too much of a good thing. Zbl 1207.03032
Dunn, J. Michael
14
2010
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
14
2012
Relevant predication. I: The formal theory. Zbl 0638.03003
Dunn, J. Michael
10
1987
A modification of Parry’s analytic implication. Zbl 0197.27503
Dunn, J. Michael
9
1972
A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic. Zbl 0406.03030
Dunn, J. Michael
9
1979
Four-valued logic. Zbl 1034.03021
Bimbó, Katalin; Dunn, J. Michael
9
2001
Two extensions of the structurally free logic LC. Zbl 0904.03006
Bimbó, Katalin; Dunn, J. Michael
8
1998
Quantum logic as motivated by quantum computing. Zbl 1093.03036
Dunn, J. Michael; Hagge, Tobias J.; Moss, Lawrence S.; Wang, Zhenghan
8
2005
On the decidability of implicational ticket entailment. Zbl 1275.03159
Bimbó, Katalin; Dunn, J. Michael
7
2013
A representation of relation algebras using Routley-Meyer frames. Zbl 1039.03051
Dunn, J. Michael
7
2001
New consecution calculi for \(R^{t}_{\to}\). Zbl 1345.03046
Bimbó, Katalin; Dunn, J. Michael
6
2012
The relevance of relevance to relevance logic. Zbl 1304.03052
Dunn, J. Michael
6
2015
Homomorphisms of intensionally complemented distributive lattices. Zbl 0155.03102
Dunn, J. M.; Belnap, N. D. jun.
5
1968
A sieve for entailments. Zbl 0428.03011
Dunn, J. Michael
4
1980
Relevant Robinson’s arithmetic. Zbl 0434.03018
Dunn, J. Michael
4
1979
A relational representation of quasi-Boolean algebras. Zbl 0464.03052
Dunn, J. Michael
4
1982
Quantification and RM. Zbl 0359.02014
Dunn, J. Michael
4
1976
Relevance logics and relation algebras. Zbl 1174.03005
Bimbó, Katalin; Dunn, J. Michael; Maddux, Roger D.
4
2009
Relational semantics for Kleene logic and action logic. Zbl 1099.03014
Bimbó, Katalin; Dunn, J. Michael
4
2005
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
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
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
Symmetric generalized Galois logics. Zbl 1255.03033
Bimbó, Katalin; Dunn, J. Michael
2
2009
Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras. Zbl 1354.03026
Dunn, J. Michael
2
2014
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
Incompleteness of the bibinary semantics for R. Zbl 0652.03011
Dunn, J. Michael
1
1987
Final value optimal stochastic control problem with bounded controller. Zbl 0189.46902
van Gelder, A.; Dunn, J.; Mendelsohn, J.
1
1967
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
Dunn, J. Michael (ed.); Epstein, George (ed.)
1
1977
Two, three, four, infinity: the path to the four-valued logic and beyond. Zbl 07229591
Dunn, J. Michael
1
2019
The algebra of intensional logics. With an introductory essay by Katalin Bimbó. Zbl 1462.03004
Dunn, J. Michael
1
2019
Two, three, four, infinity: the path to the four-valued logic and beyond. Zbl 07229591
Dunn, J. Michael
1
2019
The algebra of intensional logics. With an introductory essay by Katalin Bimbó. Zbl 1462.03004
Dunn, J. Michael
1
2019
The relevance of relevance to relevance logic. Zbl 1304.03052
Dunn, J. Michael
6
2015
Arrows pointing at arrows: arrow logic, relevance logic, and relation algebras. Zbl 1354.03026
Dunn, J. Michael
2
2014
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
On the decidability of implicational ticket entailment. Zbl 1275.03159
Bimbó, Katalin; Dunn, J. Michael
7
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
14
2012
New consecution calculi for \(R^{t}_{\to}\). Zbl 1345.03046
Bimbó, Katalin; Dunn, J. Michael
6
2012
Contradictory information: too much of a good thing. Zbl 1207.03032
Dunn, J. Michael
14
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
2
2009
Generalized Galois logics. Relational semantics of nonclassical logical calculi. Zbl 1222.03001
Bimbó, Katalin; Dunn, J. Michael
30
2008
Canonical extensions and relational completeness of some substructural logics. Zbl 1101.03021
Dunn, J. Michael; Gehrke, Mai; Palmigiano, Alessandra
46
2005
Negation in the context of gaggle theory. Zbl 1097.03015
Dunn, J. Michael; Zhou, Chunlai
16
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
4
2005
Algebraic methods in philosophical logic. Zbl 1014.03002
Dunn, J. Michael; Hardegree, Gary
61
2001
The trilattice of constructive truth values. Zbl 0996.03014
Shramko, Yaroslav; Dunn, J. Michael; Takenaka, Tatsutoshi
28
2001
Four-valued logic. Zbl 1034.03021
Bimbó, Katalin; Dunn, J. Michael
9
2001
A representation of relation algebras using Routley-Meyer frames. Zbl 1039.03051
Dunn, J. Michael
7
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
49
2000
A comparative study of various model-theoretic treatments of negation: A history of formal negation. Zbl 0972.03028
Dunn, J. Michael
26
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.
22
1997
Combinators and structurally free logic. Zbl 0878.03008
Dunn, J. Michael; Meyer, Robert K.
21
1997
Generalized ortho negation. Zbl 0979.03027
Dunn, J. Michael
17
1996
Positive modal logic. Zbl 0831.03007
Dunn, J. Michael
49
1995
Partial gaggles applied to logics with restricted structural rules. Zbl 0941.03521
Dunn, J. Michael
16
1994
Kripke models for linear logic. Zbl 0795.03013
Allwein, Gerard; Dunn, J. Michael
28
1993
Entailment. The logic of relevance and necessity. Vol. II. Zbl 0921.03025
Anderson, Alan Ross; Belnap, Nuel D. jun.; Dunn, J. Michael
108
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
31
1991
Relevant predication. I: The formal theory. Zbl 0638.03003
Dunn, J. Michael
10
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
78
1986
A relational representation of quasi-Boolean algebras. Zbl 0464.03052
Dunn, J. Michael
4
1982
A sieve for entailments. Zbl 0428.03011
Dunn, J. Michael
4
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
18
1979
A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic. Zbl 0406.03030
Dunn, J. Michael
9
1979
Relevant Robinson’s arithmetic. Zbl 0434.03018
Dunn, J. Michael
4
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
Dunn, J. Michael; Epstein, George
1
1977
Intuitive semantics for first-degree entailments and ‘coupled trees’. Zbl 1435.03043
Dunn, J. Michael
153
1976
A Kripke-style semantics for R-mingle using a binary accessibility relation. Zbl 0328.02010
Dunn, J. Michael
18
1976
Quantification and RM. Zbl 0359.02014
Dunn, J. Michael
4
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
9
1972
Algebraic completeness results for Dummett’s LC and its extensions. Zbl 0252.02018
Dunn, J. Michael; Meyer, Robert K.
29
1971
Algebraic completeness results for R-mingle and its extensions. Zbl 0231.02024
Dunn, J. Michael
55
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.
5
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 445 Authors

27 Dunn, Jon Michael
24 Wansing, Heinrich Theodor
23 Kamide, Norihiro
17 Bimbó, Katalin
15 Shramko, Yaroslav V.
14 Mares, Edwin D.
13 Avron, Arnon
13 Gehrke, Mai
13 Robles, Gemma
12 Petrukhin, Yaroslav Igorevich
11 Brady, Ross Thomas
11 Meyer, Robert Kenneth
11 Palmigiano, Alessandra
11 Raftery, James G.
11 Restall, Greg
8 Hartonas, Chrysafis
8 Jansana, Ramon
7 Maksimova, Larisa L’vovna
6 Beall, Jc
6 Conradie, Willem J.
6 Ferguson, Thomas Macaulay
6 Goldblatt, Robert Ian
6 Humberstone, Lloyd
6 Přenosil, Adam
6 Priest, Graham
6 Sylvan, Richard
6 Shangin, Vasily
5 Ciucci, Davide
5 Ma, Minghui
5 Moraschini, Tommaso
5 Odintsov, Sergei P.
5 Priestley, Hilary A.
5 Pym, David J.
5 Ripley, David
5 Weber, Zach
4 Arieli, Ofer
4 Buszkowski, Wojciech
4 Cattaneo, Gianpiero
4 Celani, Sergio Arturo
4 Czelakowski, Janusz
4 Drobyshevich, Sergeĭ Andreevich
4 Font, Josep Maria
4 Galatos, Nikolaos
4 González, Luciano Javier
4 Jipsen, Peter
4 Moortgat, Michael
4 Muskens, Reinhard A.
4 Omori, Hitoshi
4 Paoli, Francesco
4 Pynko, Alexej P.
4 Suzuki, Tomoyuki
4 Tokarz, Marek
4 van Alten, Clint J.
4 van Benthem, Johan F. A. K.
4 Wintein, Stefan
3 Albuquerque, Hugo
3 Badia, Guillermo
3 Belnap, Nuel D. jun.
3 Bernardi, Raffaella
3 Blok, Willem Johannes
3 Caleiro, Carlos
3 Cheng, Jingde
3 Cintula, Petr
3 Deutsch, Harry
3 Dubois, Didier
3 Dziobiak, Wiesław
3 Goble, Lou
3 Gouveia, Maria João
3 Hazen, Allen P.
3 Lin, Yuanlei
3 Maddux, Roger D.
3 Marcos, João
3 Metcalfe, George
3 Mikulás, Szabolcs
3 Muravitsky, Alexei Yu.
3 Ono, Hiroakira
3 Orłowska, Ewa S.
3 Rivieccio, Umberto
3 Sadrzadeh, Mehrnoosh
3 Sedlár, Igor
3 Tedder, Andrew
3 Urquhart, Alasdair
3 Venema, Yde
3 Wannenburg, Johann J.
3 Yang, Eunsuk
3 Yun, Veta Fëdorovna
3 Zhou, Chunlai
3 Zohar, Yoni
2 Akama, Seiki
2 Allo, Patrick
2 Allwein, Gerard
2 Banerjee, Mohua
2 Başkent, Can
2 Batens, Diderik
2 Belikov, Aleksander Aleksandrovich
2 Bergfeld, Jort Martinus
2 Berto, Francesco
2 Bezhanishvili, Guram
2 Bianchi, Matteo
2 Brink, Chris
...and 345 more Authors
all top 5

Cited in 69 Serials

114 Studia Logica
79 Journal of Philosophical Logic
28 The Review of Symbolic Logic
27 Notre Dame Journal of Formal Logic
25 Journal of Applied Non-Classical Logics
23 Logica Universalis
19 The Journal of Symbolic Logic
19 Theoretical Computer Science
15 Algebra Universalis
14 Annals of Pure and Applied Logic
12 Journal of Logic, Language and Information
12 The Bulletin of Symbolic Logic
11 Logic and Logical Philosophy
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
5 Journal of Automated Reasoning
5 Soft Computing
5 Logical Methods in Computer Science
4 Algebra and Logic
4 Transactions of the American Mathematical Society
4 Annals of Mathematics and Artificial Intelligence
4 Journal of Logical and Algebraic Methods in Programming
3 History and Philosophy of Logic
3 Archive for Mathematical Logic
3 Indagationes Mathematicae. New Series
3 Applied Categorical Structures
3 Topoi
2 International Journal of Theoretical Physics
2 Mathematical Notes
2 Information Sciences
2 Journal of Algebra
2 Siberian Mathematical Journal
2 Information and Computation
2 International Journal of Algebra and Computation
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 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 Journal of Multiple-Valued Logic and Soft Computing
1 Proceedings of the Japan Academy
1 European Journal for Philosophy of Science
1 European Journal of Mathematics
1 Philosophical Studies

Citations by Year

Wikidata Timeline

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