Switch to: References

Add citations

You must login to add citations.
  1. Very True Operators on Pre-semi-Nelson Algebras.Shokoofeh Ghorbani - forthcoming - Studia Logica:1-26.
    In this paper, we use the concept of very true operator to pre-semi-Nelson algebras and investigate the properties of very true pre-semi-Nelson algebras. We study the very true N-deductive systems and use them to establish the uniform structure on very true pre-semi-Nelson algebras. We obtain some properties of this topology. Finally, the corresponding logic very true semi-intuitionistic logic with strong negation is constructed and algebraizable of this logic is proved based on very true semi-Nelson algebras.
    Download  
     
    Export citation  
     
    Bookmark  
  • Dually hemimorphic semi-Nelson algebras.Juan Manuel Cornejo & HernÁn Javier San MartÍn - 2020 - Logic Journal of the IGPL 28 (3):316-340.
    Extending the relation between semi-Heyting algebras and semi-Nelson algebras to dually hemimorphic semi-Heyting algebras, we introduce and study the variety of dually hemimorphic semi-Nelson algebras and some of its subvarieties. In particular, we prove that the category of dually hemimorphic semi-Heyting algebras is equivalent to the category of dually hemimorphic centered semi-Nelson algebras. We also study the lattice of congruences of a dually hemimorphic semi-Nelson algebra through some of its deductive systems.
    Download  
     
    Export citation  
     
    Bookmark   1 citation