21 found
Order:
Disambiguations
John Slaney [15]John K. Slaney [8]
  1. 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   39 citations  
  2.  97
    A general logic.John Slaney - 1990 - Australasian Journal of Philosophy 68 (1):74 – 88.
  3.  32
    Reduced models for relevant logics without ${\rm WI}$.John K. Slaney - 1987 - Notre Dame Journal of Formal Logic 28 (3):395-407.
  4.  54
    A metacompleteness theorem for contraction-free relevant logics.John K. Slaney - 1984 - Studia Logica 43 (1-2):159 - 168.
    I note that the logics of the relevant group most closely tied to the research programme in paraconsistency are those without the contraction postulate(A.AB).AB and its close relatives. As a move towards gaining control of the contraction-free systems I show that they are prime (that wheneverA B is a theorem so is eitherA orB). The proof is an extension of the metavaluational techniques standardly used for analogous results about intuitionist logic or the relevant positive logics.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  5.  24
    A structurally complete fragment of relevant logic.John K. Slaney & Robert K. Meyer - 1992 - Notre Dame Journal of Formal Logic 33 (4):561-566.
  6.  14
    Blocks World revisited.John Slaney & Sylvie Thiébaux - 2001 - Artificial Intelligence 125 (1-2):119-153.
  7.  53
    3088 varieties a solution to the Ackermann constant problem.John K. Slaney - 1985 - Journal of Symbolic Logic 50 (2):487-501.
    It is shown that there are exactly six normal DeMorgan monoids generated by the identity element alone. The free DeMorgan monoid with no generators but the identity is characterised and shown to have exactly three thousand and eighty-eight elements. This result solves the "Ackerman constant problem" of describing the structure of sentential constants in the logic R.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  8.  13
    A Logic for Vagueness.John Slaney - 2011 - Australasian Journal of Logic 8:100-134.
    This paper presents F, substructural logic designed to treat vagueness. Weaker than Lukasiewicz’s infinitely valued logic, it is presented first in a natural deduction system, then given a Kripke semantics in the manner of Routley and Meyer's ternary relational semantics for R and related systems, but in this case, the points are motivated as degrees to which the truth could be stretched. Soundness and completeness are proved, not only for the propositional system, but also for its extension with first-order quantifiers. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  49
    The One-Variable Fragment of T→.John Slaney & Edward Walker - 2014 - Journal of Philosophical Logic 43 (5):867-878.
    We show that there are infinitely many pairwise non-equivalent formulae in one propositional variable p in the pure implication fragment of the logic T of “ticket entailment” proposed by Anderson and Belnap. This answers a question posed by R. K. Meyer.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10. Linear arithmetic desecsed.John K. Slaney, Robert K. Meyer & Greg Restall - 1996 - Logique Et Analyse 39:379-388.
  11.  19
    On the structure of De Morgan monoids with corollaries on relevant logic and theories.John K. Slaney - 1988 - Notre Dame Journal of Formal Logic 30 (1):117-129.
  12.  28
    Solution to a problem of Ono and Komori.John Slaney - 1989 - Journal of Philosophical Logic 18 (1):103 - 111.
  13.  39
    Sentential constants in systems near R.John Slaney - 1993 - Studia Logica 52 (3):443 - 455.
    An Ackermann constant is a formula of sentential logic built up from the sentential constant t by closing under connectives. It is known that there are only finitely many non-equivalent Ackermann constants in the relevant logic R. In this paper it is shown that the most natural systems close to R but weaker than it-in particular the non-distributive system LR and the modalised system NR-allow infinitely many Ackermann constants to be distinguished. The argument in each case proceeds by construction of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14. A Finite Fragment Of S3.Tomasz Kowalski & John Slaney - 2008 - Reports on Mathematical Logic.
    It is shown that the pure implication fragment of the modal logic [3], pp. 385--387) has finitely many non-equivalent formulae in one variable. The exact number of such formulae is not known. We show that this finiteness result is the best possible, since the analogous fragment of S4, and therefore of [3], in two variables has infinitely many non-equivalent formulae.
     
    Export citation  
     
    Bookmark   1 citation  
  15.  24
    Kh Sievers.A. General Logic & John Slaney - 1989 - International Philosophical Quarterly 29 (4).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  12
    1992 Annual Meeting of the Australasian Association for Logic.John Slaney & Martin W. Bunder - 1993 - Journal of Symbolic Logic 58 (4):1477-1484.
  17.  8
    A Note on 'Most'.John Slaney - 1988 - Analysis 48 (3):134-135.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  18.  74
    'Entailment' Survives Lewy's Paradoxes.John K. Slaney - 1981 - Analysis 41 (4):188 - 191.
  19.  6
    Models of Relevant Arithmetic.John Slaney - 2022 - Australasian Journal of Logic 19 (1).
    It is well known that the relevant arithmetic R# admits finite models whose domains are the integers modulo n rather than the expected natural numbers. Less well appreciated is the fact that the logic of these models is much more subtle than that of the three-valued structure in which they are usually presented. In this paper we consider the DeMorgan monoids in which R# can be modelled, deriving a fairly complete account of those modelling the stronger arithmetic RM# modulo n (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  12
    Realism in Mathematics.John Slaney - 1992 - Philosophical Books 33 (1):61-62.
  21.  23
    Semipositive LTL with an Uninterpreted Past Operator.John Slaney - 2005 - Logic Journal of the IGPL 13 (2):211-229.
    $LTL is a version of linear temporal logic in which eventualities are not expressible, but in which there is a sentential constant $ intended to be true just at the end of some behaviour of interest—that is, to mark the end of the accepted words of some language. There is an effectively recognisable class of $LTL formulae which express behaviours, but in a sense different from the standard one of temporal logics like LTL or CTL. This representation is useful for (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark