Switch to: Citations

Add references

You must login to add references.
  1. Inconsistent mathematics.Chris Mortensen - 2008 - Studia Logica.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • Duality for algebras of relevant logics.Alasdair Urquhart - 1996 - Studia Logica 56 (1-2):263 - 276.
    This paper defines a category of bounded distributive lattice-ordered grupoids with a left-residual operation that corresponds to a weak system in the family of relevant logics. Algebras corresponding to stronger systems are obtained by adding further postulates. A duality theoey piggy-backed on the Priestley duality theory for distributive lattices is developed for these algebras. The duality theory is then applied in providing characterizations of the dual spaces corresponding to stronger relevant logics.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • (1 other version)Nā€Categories in Logic.Agustin Riscos & Luis M. Laita - 1987 - Mathematical Logic Quarterly 33 (6):507-516.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Book Reviews. [REVIEW]C. Mortensen - 2000 - Studia Logica 64 (2):285-300.
    Download  
     
    Export citation  
     
    Bookmark   42 citations  
  • (1 other version)N-Categories in Logic.Agustin Riscos & Luis M. Laita - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (6):507-516.
    Download  
     
    Export citation  
     
    Bookmark   1 citation