Switch to: References

Add citations

You must login to add citations.
  1. Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity.Umberto Rivieccio & Manuela Busaniche - 2024 - Studia Logica 112 (5):1123-1161.
    Recent work by Busaniche, Galatos and Marcos introduced a very general twist construction, based on the notion of _conucleus_, which subsumes most existing approaches. In the present paper we extend this framework one step further, so as to allow us to construct and represent algebras which possess a negation that is not necessarily involutive. Our aim is to capture the main properties of the largest class that admits such a representation, as well as to be able to recover the well-known (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Twist Structures and Nelson Conuclei.Manuela Busaniche, Nikolaos Galatos & Miguel Andrés Marcos - 2022 - Studia Logica 110 (4):949-987.
    Motivated by Kalman residuated lattices, Nelson residuated lattices and Nelson paraconsistent residuated lattices, we provide a natural common generalization of them. Nelson conucleus algebras unify these examples and further extend them to the non-commutative setting. We study their structure, establish a representation theorem for them in terms of twist structures and conuclei that results in a categorical adjunction, and explore situations where the representation is actually an isomorphism. In the latter case, the adjunction is elevated to a categorical equivalence. By (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations