Switch to: Citations

Add references

You must login to add references.
  1. Moisil Algebras.Roberto Cignoli - 1975 - Journal of Symbolic Logic 40 (3):464-465.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Notes on N-lattices and constructive logic with strong negation.D. Vakarelov - 1977 - Studia Logica 36 (1-2):109-125.
    Download  
     
    Export citation  
     
    Bookmark   74 citations  
  • Bi-Heyting algebras, toposes and modalities.Gonzalo E. Reyes & Houman Zolfaghari - 1996 - Journal of Philosophical Logic 25 (1):25 - 43.
    The aim of this paper is to introduce a new approach to the modal operators of necessity and possibility. This approach is based on the existence of two negations in certain lattices that we call bi-Heyting algebras. Modal operators are obtained by iterating certain combinations of these negations and going to the limit. Examples of these operators are given by means of graphs.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Lukasiewicz and Symmetrical Heyting Algebras.Luisa Iturrioz - 1976 - Mathematical Logic Quarterly 23 (7‐12):131-136.
    Download  
     
    Export citation  
     
    Bookmark   6 citations