Switch to: References

Add citations

You must login to add citations.
  1. Intuitionistic Modal Algebras.Sergio A. Celani & Umberto Rivieccio - forthcoming - Studia Logica:1-50.
    Recent research on algebraic models of _quasi-Nelson logic_ has brought new attention to a number of classes of algebras which result from enriching (subreducts of) Heyting algebras with a special modal operator, known in the literature as a _nucleus_. Among these various algebraic structures, for which we employ the umbrella term _intuitionistic modal algebras_, some have been studied since at least the 1970s, usually within the framework of topology and sheaf theory. Others may seem more exotic, for their primitive operations (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity.Umberto Rivieccio & Manuela Busaniche - forthcoming - Studia Logica:1-39.
    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