Switch to: References

Add citations

You must login to add citations.
  1. Structural Completeness in Relevance Logics.J. G. Raftery & K. Świrydowicz - 2016 - Studia Logica 104 (3):381-387.
    It is proved that the relevance logic \ has no structurally complete consistent axiomatic extension, except for classical propositional logic. In fact, no other such extension is even passively structurally complete.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Two Maximality Results for the Lattice of Extensions of $$\vdash _{\mathbf {RM}}$$.Krzysztof A. Krawczyk - 2022 - Studia Logica 110 (5):1243-1253.
    We use an algebraic argument to prove that there are exactly two premaximal extensions of \’s consequence. We also show that one of these extensions is the minimal structurally complete extension of the unique maximal paraconsistent extension of \. Precisely, we show that there are exactly two covers of the variety of Boolean algebras in the lattice of quasivarieties of Sugihara algebras and that there is a unique minimal paraconsistent quasivariety in that lattice. We also obtain a corollary stating that (...)
    Download  
     
    Export citation  
     
    Bookmark