Switch to: References

Add citations

You must login to add citations.
  1. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Empirical Negation.Michael De - 2013 - Acta Analytica 28 (1):49-69.
    An extension of intuitionism to empirical discourse, a project most seriously taken up by Dummett and Tennant, requires an empirical negation whose strength lies somewhere between classical negation (‘It is unwarranted that. . . ’) and intuitionistic negation (‘It is refutable that. . . ’). I put forward one plausible candidate that compares favorably to some others that have been propounded in the literature. A tableau calculus is presented and shown to be strongly complete.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Multisets and relevant implication I.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (2):107 – 139.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Multisets and relevant implication II.Robert K. Meyer & Michael A. McRobbie - 1982 - Australasian Journal of Philosophy 60 (3):265 – 281.
    Download  
     
    Export citation  
     
    Bookmark   12 citations