80 found
Order:
  1. Intuitive semantics for first-degree entailments and 'coupled trees'.J. Michael Dunn - 1976 - Philosophical Studies 29 (3):149-168.
  2. (2 other versions)Entailment: The Logic of Relevance and Necessity, Vol. II.Alan Ross Anderson, Nuel D. Belnap & J. Michael Dunn - 1992 - Princeton University Press.
  3. Star and perp: Two treatments of negation.J. Michael Dunn - 1993 - Philosophical Perspectives 7:331-357.
  4. On the Ternary Relation and Conditionality.Jc Beall, Ross T. Brady, J. Michael Dunn, A. P. Hazen, Edwin D. Mares, Robert K. Meyer, Graham Priest, Greg Restall, David Ripley, John Slaney & Richard Sylvan - 2012 - Journal of Philosophical Logic 41 (3):595 - 612.
    One of the most dominant approaches to semantics for relevant (and many paraconsistent) logics is the Routley-Meyer semantics involving a ternary relation on points. To some (many?), this ternary relation has seemed like a technical trick devoid of an intuitively appealing philosophical story that connects it up with conditionality in general. In this paper, we respond to this worry by providing three different philosophical accounts of the ternary relation that correspond to three conceptions of conditionality. We close by briefly discussing (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  5. Curry’s Paradox.Robert K. Meyer, Richard Routley & J. Michael Dunn - 1979 - Analysis 39 (3):124 - 128.
  6.  74
    Algebraic Methods in Philosophical Logic.J. Michael Dunn - 2001 - Oxford, England: Oxford University Press.
    This comprehensive text shows how various notions of logic can be viewed as notions of universal algebra providing more advanced concepts for those who have an introductory knowledge of algebraic logic, as well as those wishing to delve into more theoretical aspects.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   39 citations  
  7.  95
    Partiality and its dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.
    This paper explores allowing truth value assignments to be undetermined or "partial" and overdetermined or "inconsistent", thus returning to an investigation of the four-valued semantics that I initiated in the sixties. I examine some natural consequence relations and show how they are related to existing logics, including ukasiewicz's three-valued logic, Kleene's three-valued logic, Anderson and Belnap's relevant entailments, Priest's "Logic of Paradox", and the first-degree fragment of the Dunn-McCall system "R-mingle". None of these systems have nested implications, and I investigate (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   86 citations  
  8. (1 other version)Algebraic Methods in Philosophical Logic.J. Michael Dunn & Gary M. Hardegree - 2003 - Bulletin of Symbolic Logic 9 (2):231-234.
     
    Export citation  
     
    Bookmark   69 citations  
  9. Positive modal logic.J. Michael Dunn - 1995 - Studia Logica 55 (2):301 - 317.
    We give a set of postulates for the minimal normal modal logicK + without negation or any kind of implication. The connectives are simply , , , . The postulates (and theorems) are all deducibility statements . The only postulates that might not be obvious are.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   58 citations  
  10. Relevant predication 2: Intrinsic properties and internal relations.J. Michael Dunn - 1990 - Philosophical Studies 60 (3):177-206.
  11. The substitution interpretation of the quantifiers.J. Michael Dunn & Nuel D. Belnap - 1968 - Noûs 2 (2):177-185.
  12.  27
    Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi.Katalin Bimbó & J. Michael Dunn - 2008 - Center for the Study of Language and Inf.
    Nonclassical logics have played an increasing role in recent years in disciplines ranging from mathematics and computer science to linguistics and philosophy. _Generalized Galois Logics_ develops a uniform framework of relational semantics to mediate between logical calculi and their semantics through algebra. This volume addresses normal modal logics such as K and S5, and substructural logics, including relevance logics, linear logic, and Lambek calculi. The authors also treat less-familiar and new logical systems with equal deftness.
    Direct download  
     
    Export citation  
     
    Bookmark   23 citations  
  13. The trilaticce of constructive truth values.Yaroslav Shramko, J. Michael Dunn & Tatsutoshi Takenaka - 2001 - Journal of Logic and Computation 11 (1):761--788.
     
    Export citation  
     
    Bookmark   38 citations  
  14.  97
    Negation in the Context of Gaggle Theory.J. Michael Dunn & Chunlai Zhou - 2005 - Studia Logica 80 (2):235-264.
    We study an application of gaggle theory to unary negative modal operators. First we treat negation as impossibility and get a minimal logic system Ki that has a perp semantics. Dunn 's kite of different negations can be dealt with in the extensions of this basic logic Ki. Next we treat negation as “unnecessity” and use a characteristic semantics for different negations in a kite which is dual to Dunn 's original one. Ku is the minimal logic that has a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  15.  76
    A theorem in 3-valued model theory with connections to number theory, type theory, and relevant logic.J. Michael Dunn - 1979 - Studia Logica 38 (2):149 - 169.
    Given classical (2 valued) structures and and a homomorphism h of onto , it is shown how to construct a (non-degenerate) 3-valued counterpart of . Classical sentences that are true in are non-false in . Applications to number theory and type theory (with axiom of infinity) produce finite 3-valued models in which all classically true sentences of these theories are non-false. Connections to relevant logic give absolute consistency proofs for versions of these theories formulated in relevant logic (the proof for (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  16. Kripke models for linear logic.Gerard Allwein & J. Michael Dunn - 1993 - Journal of Symbolic Logic 58 (2):514-545.
    We present a Kripke model for Girard's Linear Logic (without exponentials) in a conservative fashion where the logical functors beyond the basic lattice operations may be added one by one without recourse to such things as negation. You can either have some logical functors or not as you choose. Commutatively and associatively are isolated in such a way that the base Kripke model is a model for noncommutative, nonassociative Linear Logic. We also extend the logic by adding a coimplication operator, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   29 citations  
  17. E, r, and γ.Robert K. Meyer & J. Michael Dunn - 1969 - Journal of Symbolic Logic 34 (3):460-474.
  18.  62
    Completeness of relevant quantification theories.Robert K. Meyer, J. Michael Dunn & Hugues Leblanc - 1974 - Notre Dame Journal of Formal Logic 15 (1):97-121.
  19. Quantum Mathematics.J. Michael Dunn - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
    This paper explores the development of mathematics on a quantum logical base when mathematical postulates are taken as necessary truths. First it is shown that first-order Peano arithmetic formulated with quantum logic has the same theorems as classical first-order Peano arithmetic. Distribution for first-order arithmetical formulas is a theorem not of quantum logic but rather of arithmetic. Second, it is shown that distribution fails for second-order Peano arithmetic without extensionality. Third, it is shown that distribution holds for second-order Peano arithmetic (...)
    Direct download  
     
    Export citation  
     
    Bookmark   25 citations  
  20. A Kripke-style semantics for R-Mingle using a binary accessibility relation.J. Michael Dunn - 1976 - Studia Logica 35 (2):163 - 172.
  21.  24
    The impossibility of certain higher-order non-classical logics with extensionality.J. Michael Dunn - 1988 - In D. F. Austin (ed.), Philosophical Analysis. Kluwer Academic Publishers. pp. 261--279.
  22.  63
    A modification of Parry's analytic implication.J. Michael Dunn - 1972 - Notre Dame Journal of Formal Logic 13 (2):195-205.
  23. Canonical Extensions and Relational Completeness of Some Substructural Logics.J. Michael Dunn, Mai Gehrke & Alessandra Palmigiano - 2005 - Journal of Symbolic Logic 70 (3):713 - 740.
    In this paper we introduce canonical extensions of partially ordered sets and monotone maps and a corresponding discrete duality. We then use these to give a uniform treatment of completeness of relational semantics for various substructural logics with implication as the residual(s) of fusion.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  24.  81
    Relevant predication 3: essential properties.J. Michael Dunn - 1990 - In J. Dunn & A. Gupta (eds.), Truth or Consequences: Essays in Honor of Nuel Belnap. Boston, MA, USA: Kluwer Academic Publishers. pp. 77--95.
  25.  48
    Algebraic Completeness Results for Dummett's LC and Its Extensions.J. Michael Dunn & Robert K. Meyer - 1971 - Mathematical Logic Quarterly 17 (1):225-230.
  26.  71
    New Consecution Calculi for R→t.Katalin Bimbó & J. Michael Dunn - 2012 - Notre Dame Journal of Formal Logic 53 (4):491-509.
    The implicational fragment of the logic of relevant implication, $R_{\to}$ is one of the oldest relevance logics and in 1959 was shown by Kripke to be decidable. The proof is based on $LR_{\to}$ , a Gentzen-style calculus. In this paper, we add the truth constant $\mathbf{t}$ to $LR_{\to}$ , but more importantly we show how to reshape the sequent calculus as a consecution calculus containing a binary structural connective, in which permutation is replaced by two structural rules that involve $\mathbf{t}$ (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  27.  25
    Generalized onrno negation.J. Michael Dunn - 1996 - In Heinrich Wansing (ed.), Negation: a notion in focus. New York: W. de Gruyter. pp. 7--3.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  28.  29
    (1 other version)A truth value semantics for modal logic.J. Michael Dunn - 1973 - Journal of Symbolic Logic 42 (2):87--100.
  29.  38
    R-Mingle is Nice, and so is Arnon Avron.J. Michael Dunn - 2021 - In Ofer Arieli & Anna Zamansky (eds.), Arnon Avron on Semantics and Proof Theory of Non-Classical Logics. Springer Verlag. pp. 141-165.
    Arnon Avron has written: “Dunn-McCall logic RM is by far the best understood and the most well-behaved in the family of logics developed by the school of Anderson and Belnap.” I agree. There is the famous saying: “Do not let the perfect become the enemy of the good.” I might say: “good enough.” In this spirit, I will examine the logic R-Mingle, exploring how it is only a “semi-relevant logic” but still a paraconsistent logic. I shall discuss the history of (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  8
    Entailment, Mingle and Binary Accessibility.Katalin Bimbo & J. Michael Dunn - 2024 - In Yale Weiss & Romina Birman (eds.), Saul Kripke on Modal Logic. Cham: Springer. pp. 121-150.
    Saul Kripke’s work on the semantics of modal logics is well known, unlike his work on Anderson and Belnap’s system E of Entailment (a modal relevance logic), which included his proof of the decidability of its implicational fragment E_>, and also a counterexample to the conjecture of Belnap that E_> is the intersection of the implicational fragments of the relevance logic R and the modal logic S4. This led to Storrs McCall’s suggesting that the “mingle” axiom might be added to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  50
    On the decidability of implicational ticket entailment.Katalin Bimbó & J. Michael Dunn - 2013 - Journal of Symbolic Logic 78 (1):214-236.
    The implicational fragment of the logic of relevant implication, $R_\to$ is known to be decidable. We show that the implicational fragment of the logic of ticket entailment, $T_\to$ is decidable. Our proof is based on the consecution calculus that we introduced specifically to solve this 50-year old open problem. We reduce the decidability problem of $T_\to$ to the decidability problem of $R_\to$. The decidability of $T_\to$ is equivalent to the decidability of the inhabitation problem of implicational types by combinators over (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  32.  20
    E, R and γ.Robert K. Meyer & J. Michael Dunn - 1971 - Journal of Symbolic Logic 36 (3):521-522.
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  33. Dualling: A critique of an argument of Popper and Miller.J. Michael Dunn & Geoffrey Hellman - 1986 - British Journal for the Philosophy of Science 37 (2):220-223.
  34.  61
    Quantification and RM.J. Michael Dunn - 1976 - Studia Logica 35 (3):315 - 322.
  35.  82
    Four-valued Logic.Katalin Bimbó & J. Michael Dunn - 2001 - Notre Dame Journal of Formal Logic 42 (3):171-192.
    Four-valued semantics proved useful in many contexts from relevance logics to reasoning about computers. We extend this approach further. A sequent calculus is defined with logical connectives conjunction and disjunction that do not distribute over each other. We give a sound and complete semantics for this system and formulate the same logic as a tableaux system. Intensional conjunction and its residuals can be added to the sequent calculus straightforwardly. We extend a simplified version of the earlier semantics for this system (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  36.  62
    Relevant Robinson's arithmetic.J. Michael Dunn - 1979 - Studia Logica 38 (4):407 - 418.
    In this paper two different formulations of Robinson's arithmetic based on relevant logic are examined. The formulation based on the natural numbers (including zero) is shown to collapse into classical Robinson's arithmetic, whereas the one based on the positive integers (excluding zero) is shown not to similarly collapse. Relations of these two formulations to R. K. Meyer's system R# of relevant Peano arithmetic are examined, and some remarks are made about the role of constant functions (e.g., multiplication by zero) in (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  37.  34
    Nuel Belnap: Doctoral students.Carlos Giannoni, Robert Meyer, J. Michael Dunn, Peter Woodruff, James Garson, Kent Wilson, Dorothy Grover, Ruth Manor, Alasdair Urquhart & Garrel Pottinger - 1990 - In J. Dunn & A. Gupta (eds.), Truth or Consequences: Essays in Honor of Nuel Belnap. Boston, MA, USA: Kluwer Academic Publishers.
  38.  57
    A relational representation of quasi-Boolean algebras.J. Michael Dunn - 1982 - Notre Dame Journal of Formal Logic 23 (4):353-357.
  39.  47
    (1 other version)A guide to the Floridi keys: Luciano Floridi: The philosophy of information. Oxford: Oxford University Press, 2011, xx+405pp, £37.50 HB.J. Michael Dunn - 2012 - Metascience 22 (1):93-98.
  40.  62
    A sieve for entailments.J. Michael Dunn - 1980 - Journal of Philosophical Logic 9 (1):41 - 57.
    The validity of an entailment has nothing to do with whether or not the components are true, false, necessary, or impossible; it has to do solely with whether or not there is a necessary connection between antecedent and consequent. Hence it is a mistake (we feel) to try to build a sieve which will “strain out” entailments from the set of material or strict “implications” present in some system of truth-functions, or of truth-functions with modality. Anderson and Belnap (1962, p. (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  41.  25
    Contradictory Information: Better Than Nothing? The Paradox of the Two Firefighters.J. Michael Dunn & Nicholas M. Kiefer - 2019 - In Can Başkent & Thomas Macaulay Ferguson (eds.), Graham Priest on Dialetheism and Paraconsistency. Cham, Switzerland: Springer Verlag. pp. 231-247.
    Prominent philosophers have argued that contradictions contain either too much or too little information to be useful. We dispute this with what we call the “Paradox of the Two Firefighters.” Suppose you are awakened in your hotel room by a fire alarm. You open the door. You see three possible ways out: left, right, straight ahead. You see two firefighters. One says there is exactly one safe route and it is to your left. The other says there is exactly one (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  42.  75
    Symmetric generalized galois logics.Katalin Bimbó & J. Michael Dunn - 2009 - Logica Universalis 3 (1):125-152.
    Symmetric generalized Galois logics (i.e., symmetric gGl s) are distributive gGl s that include weak distributivity laws between some operations such as fusion and fission. Motivations for considering distribution between such operations include the provability of cut for binary consequence relations, abstract algebraic considerations and modeling linguistic phenomena in categorial grammars. We represent symmetric gGl s by models on topological relational structures. On the other hand, topological relational structures are realized by structures of symmetric gGl s. We generalize the weak (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  43. Quantum Logic as Motivated by Quantum Computing.J. Michael Dunn, Tobias J. Hagge, Lawrence S. Moss & Zhenghan Wang - 2005 - Journal of Symbolic Logic 70 (2):353 - 359.
  44.  85
    A consecutive calculus for positive relevant implication with necessity.Nuel D. Belnap, Anil Gupta & J. Michael Dunn - 1980 - Journal of Philosophical Logic 9 (4):343-362.
  45. Relevance logics and relation algebras.Katalin Bimbó, J. Michael Dunn & Roger D. Maddux - 2009 - Review of Symbolic Logic 2 (1):102-131.
    Relevance logics are known to be sound and complete for relational semantics with a ternary accessibility relation. This paper investigates the problem of adequacy with respect to special kinds of dynamic semantics (i.e., proper relation algebras and relevant families of relations). We prove several soundness results here. We also prove the completeness of a certain positive fragment of R as well as of the first-degree fragment of relevance logics. These results show that some core ideas are shared between relevance logics (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  46.  30
    St. Alasdair on Lattices Everywhere.Katalin Bimbó & J. Michael Dunn - 2021 - In Ivo Düntsch & Edwin Mares (eds.), Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs. Springer Verlag. pp. 323-346.
    Urquhart works in several areas of logic where he has proved important results. Our paper outlines his topological lattice representation and attempts to relate it to other lattice representations. We show that there are different ways to generalize Priestley’s representation of distributive lattices—Urquhart’s being one of them, which tries to keep prime filters in the representation. Along the way, we also mention how semi-lattices and lattices figured into Urquhart’s work.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  47.  32
    Implicational Tonoid Logics: Algebraic and Relational Semantics.Eunsuk Yang & J. Michael Dunn - 2021 - Logica Universalis 15 (4):435-456.
    This paper combines two classes of generalized logics, one of which is the class of weakly implicative logics introduced by Cintula and the other of which is the class of gaggle logics introduced by Dunn. For this purpose we introduce implicational tonoid logics. More precisely, we first define implicational tonoid logics in general and examine their relation to weakly implicative logics. We then provide algebraic semantics for implicational tonoid logics. Finally, we consider relational semantics, called Routley–Meyer–style semantics, for finitary those (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48. Conditional assertion and restricted quantification: Abstracts of comments.J. Michael Dunn - 1970 - Noûs 4 (1):13.
  49.  19
    Incompleteness of the bibinary semantics for R.J. Michael Dunn - 1987 - Bulletin of the Section of Logic 16 (3):107-109.
  50.  67
    Axiomatizing Belnap's conditional assertion.J. Michael Dunn - 1975 - Journal of Philosophical Logic 4 (4):383 - 397.
1 — 50 / 80