16 found
Order:
  1.  51
    TW+ and RW+ Are Decidable.Steve Giambrone - 1985 - Journal of Philosophical Logic 14 (3):235 - 254.
  2.  15
    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.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  3.  59
    Inferring Other Minds: Failure of the Argument by Analogy.Daniel J. Povinelli & Steve Giambrone - 1999 - Philosophical Topics 27 (1):167-202.
  4.  41
    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   11 citations  
  5.  31
    Proof Theories for Semilattice Logics.Steve Giambrone & Alasdaire Urquhart - 1987 - Mathematical Logic Quarterly 33 (5):433-439.
  6.  48
    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   8 citations  
  7.  41
    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  
  8.  18
    Inferring Other Minds.Steve Giambrone - 1999 - Philosophical Topics 27 (1):167-201.
  9.  10
    Inferring Other Minds: Failure of the Argument by Analogy.Daniel J. Povinelli & Steve Giambrone - 1999 - Philosophical Topics 27 (1):167-201.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  10.  20
    Gentzen Systems and Decision Procedures for Relevant Logics.Steve Giambrone - 1982 - Bulletin of the Section of Logic 11 (3/4):169-174.
  11.  34
    A Contractionless Semilattice Semantics.Steve Giambrone, Robert K. Meyer & Alasdair Urquhart - 1987 - Journal of Symbolic Logic 52 (2):526-529.
  12.  14
    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.
  13.  49
    Introduction.Steve Giambrone - 1994 - Topoi 13 (1):1-2.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  37
    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  
  15.  16
    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  
  16.  20
    Real Reduced Models for Relevant Logics Without ${\Rm WI}$.Steve Giambrone - 1992 - Notre Dame Journal of Formal Logic 33 (3):442-449.