Switch to: References

Add citations

You must login to add citations.
  1. Non-Boolean classical relevant logics I.Tore Fjetland Øgaard - 2019 - Synthese (8):1-32.
    Relevant logics have traditionally been viewed as paraconsistent. This paper shows that this view of relevant logics is wrong. It does so by showing forth a logic which extends classical logic, yet satisfies the Entailment Theorem as well as the variable sharing property. In addition it has the same S4-type modal feature as the original relevant logic E as well as the same enthymematical deduction theorem. The variable sharing property was only ever regarded as a necessary property for a logic (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Unification in superintuitionistic predicate logics and its applications.Wojciech Dzik & Piotr Wojtylak - 2019 - Review of Symbolic Logic 12 (1):37-61.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Two Infinite Sequences of Pre-Maximal Extensions of the Relevant Logic E.Lidia Typańska-Czajka - 2019 - Bulletin of the Section of Logic 48 (1).
    The only maximal extension of the logic of relevant entailment E is the classical logic CL. A logic L ⊆ [E,CL] called pre-maximal if and only if L is a coatom in the interval [E,CL]. We present two denumerable infinite sequences of premaximal extensions of the logic E. Note that for the relevant logic R there exist exactly three pre-maximal logics, i.e. coatoms in the interval [R,CL].
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A System for Strict Implication.Masao Ohnishi & Kazuo Matsumoto - 1964 - Annals of the Japan Association for Philosophy of Science 2 (4):183-188.
    Download  
     
    Export citation  
     
    Bookmark   5 citations