13 found
Order:
  1.  70
    TW+ and RW+ are decidable.Steve Giambrone - 1985 - Journal of Philosophical Logic 14 (3):235 - 254.
  2.  29
    Toward a Science of Other Minds: Escaping the Argument by Analogy.Daniel J. Povinelli, Jesse M. Bering & Steve Giambrone - 2000 - Cognitive Science 24 (3):509-541.
    Since Darwin, the idea of psychological continuity between humans and other animals has dominated theory and research in investigating the minds of other species. Indeed, the field of comparative psychology was founded on two assumptions. First, it was assumed that introspection could provide humans with reliable knowledge about the causal connection between specific mental states and specific behaviors. Second, it was assumed that in those cases in which other species exhibited behaviors similar to our own, similar psychological causes were at (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  3.  73
    Where gamma fails.Robert K. Meyer, Steve Giambrone & Ross T. Brady - 1984 - Studia Logica 43 (3):247 - 256.
    A major question for the relevant logics has been, “Under what conditions is Ackermann's ruleγ from -A ∨B andA to inferB, admissible for one of these logics?” For a large number of logics and theories, the question has led to an affirmative answer to theγ problem itself, so that such an answer has almost come to be expected for relevant logics worth taking seriously. We exhibit here, however, another large and interesting class of logics-roughly, the Boolean extensions of theW — (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   17 citations  
  4.  62
    Completeness and conservative extension results for some Boolean relevant logics.Steve Giambrone & Robert K. Meyer - 1989 - Studia Logica 48 (1):1 - 14.
    This paper presents completeness and conservative extension results for the boolean extensions of the relevant logic T of Ticket Entailment, and for the contractionless relevant logics TW and RW. Some surprising results are shown for adding the sentential constant t to these boolean relevant logics; specifically, the boolean extensions with t are conservative of the boolean extensions without t, but not of the original logics with t. The special treatment required for the semantic normality of T is also shown along (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  5.  27
    Proof Theories for Semilattice Logics.Steve Giambrone & Alasdaire Urquhart - 1987 - Mathematical Logic Quarterly 33 (5):433-439.
  6.  64
    Four relevant Gentzen systems.Steve Giambrone & Aleksandar Kron - 1987 - Studia Logica 46 (1):55 - 71.
    This paper is a study of four subscripted Gentzen systems G u R +, G u T +, G u RW + and G u TW +. [16] shows that the first three are equivalent to the semilattice relevant logics u R +, u T + and u RW + and conjectures that G u TW + is, equivalent to u TW +. Here we prove Cut Theorems for these systems, and then show that modus ponens is admissible — which (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  7.  82
    A contractionless semilattice semantics.Steve Giambrone, Robert K. Meyer & Alasdair Urquhart - 1987 - Journal of Symbolic Logic 52 (2):526-529.
  8.  32
    Real reduced models for relevant logics without ${\rm WI}$.Steve Giambrone - 1992 - Notre Dame Journal of Formal Logic 33 (3):442-449.
  9.  25
    Further Results on Proof Theories For Semilattice Logics.Robert K. Meyer, Errol P. Martin, Steve Giambrone & Alasdair Urquhart - 1988 - Mathematical Logic Quarterly 34 (4):301-304.
  10.  23
    Gentzen systems and decision procedures for relevant logics.Steve Giambrone - 1982 - Bulletin of the Section of Logic 11 (3/4):169-174.
  11.  54
    Introduction.Steve Giambrone - 1994 - Topoi 13 (1):1-2.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  12.  48
    On purported Gentzen formulations of two positive relevent logics.Steve Giambrone - 1985 - Studia Logica 44 (3):233 - 236.
    [10] offers two (cut-free) subscripted Gentzen systems, G 2 T + and G 2 R +, which are claimed to be equivalent in an appropriate sense to the positive relevant logics T + and R +, respectively. In this paper we show that that claim is false. We also show that the argument in [10] for the further claim that cut and/or modus ponens is admissible in two other subscripted Gentzen systems, G 1 T + and G 1 R +, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  13.  24
    R+ is contained in T.Robert K. Meyer & Steve Giambrone - 1980 - Bulletin of the Section of Logic 9 (1):30-32.
    Although the system T of ticket entailment is obviously related to its cousins E and R , it is motivated along quite distinctive lines in Anderson and Belnap [1975]. It would seem, accordingly, that T is more nearly akin to the system P W studied in Martin [1978] than to E and R. The result presented here, however, at least suggests the contrary.
    Direct download  
     
    Export citation  
     
    Bookmark