Switch to: Citations

Add references

You must login to add references.
  1. (1 other version)A computational interpretation of conceptivism.Thomas Macaulay Ferguson - 2014 - Journal of Applied Non-Classical Logics 24 (4):333-367.
    The hallmark of the deductive systems known as ‘conceptivist’ or ‘containment’ logics is that for all theorems of the form , all atomic formulae appearing in also appear in . Significantly, as a consequence, the principle of Addition fails. While often billed as a formalisation of Kantian analytic judgements, once semantics were discovered for these systems, the approach was largely discounted as merely the imposition of a syntactic filter on unrelated systems. In this paper, we examine a number of prima (...)
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Logics of Nonsense and Parry Systems.Thomas Macaulay Ferguson - 2015 - Journal of Philosophical Logic 44 (1):65-80.
    We examine the relationship between the logics of nonsense of Bochvar and Halldén and the containment logics in the neighborhood of William Parry’s A I. We detail two strategies for manufacturing containment logics from nonsense logics—taking either connexive and paraconsistent fragments of such systems—and show how systems determined by these techniques have appeared as Frederick Johnson’s R C and Carlos Oller’s A L. In particular, we prove that Johnson’s system is precisely the intersection of Bochvar’s B 3 and Graham Priest’s (...)
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • A useful four-valued logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
    Download  
     
    Export citation  
     
    Bookmark   261 citations  
  • A story semantics for implication.Charles Daniels - 1986 - Notre Dame Journal of Formal Logic 27 (2):221-246.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Analytic implication.Kit Fine - 1986 - Notre Dame Journal of Formal Logic 27 (2):169-179.
    Download  
     
    Export citation  
     
    Bookmark   53 citations  
  • Significance logics.Ross T. Brady - 1976 - Notre Dame Journal of Formal Logic 17 (2):161-183.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • A modification of Parry's analytic implication.J. Michael Dunn - 1972 - Notre Dame Journal of Formal Logic 13 (2):195-205.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • A note on negation.CharlesB Daniels - 1990 - Erkenntnis 32 (3):423 - 429.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • (1 other version)Tautological entailments.Alan Ross Anderson & Nuel D. Belnap - 1962 - Philosophical Studies 13 (1-2):9 - 24.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • Semantics for relevant logics.Alasdair Urquhart - 1972 - Journal of Symbolic Logic 37 (1):159-169.
    Download  
     
    Export citation  
     
    Bookmark   97 citations  
  • Star and perp: Two treatments of negation.J. Michael Dunn - 1993 - Philosophical Perspectives 7:331-357.
    Download  
     
    Export citation  
     
    Bookmark   73 citations  
  • Semantical analysis of weak Kleene logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.
    This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis.Stefano Bonzio, José Gil-Férez, Francesco Paoli & Luisa Peruzzi - 2017 - Studia Logica 105 (2):253-297.
    Paraconsistent Weak Kleene logic is the 3-valued logic with two designated values defined through the weak Kleene tables. This paper is a first attempt to investigate PWK within the perspective and methods of abstract algebraic logic. We give a Hilbert-style system for PWK and prove a normal form theorem. We examine some algebraic structures for PWK, called involutive bisemilattices, showing that they are distributive as bisemilattices and that they form a variety, \, generated by the 3-element algebra WK; we also (...)
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • Towards a logic of significance.Leonard Goddard - 1968 - Notre Dame Journal of Formal Logic 9 (3):233-264.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A Kripke-style semantics for R-Mingle using a binary accessibility relation.J. Michael Dunn - 1976 - Studia Logica 35 (2):163 - 172.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Paraconsistent analytic implication.Harry Deutsch - 1984 - Journal of Philosophical Logic 13 (1):1 - 11.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • (1 other version)Algebraic completeness results for r-Mingle and its extensions.J. Michael Dunn - 1970 - Journal of Symbolic Logic 35 (1):1-13.
    Download  
     
    Export citation  
     
    Bookmark   56 citations  
  • Don't care was made to care.Ross Brady & Richard Routley - 1973 - Australasian Journal of Philosophy 51 (3):211 – 225.
    Download  
     
    Export citation  
     
    Bookmark   10 citations