{"title":"Nelson Conuclei and Nuclei: The Twist Construction Beyond Involutivity","authors":"","doi":"10.1007/s11225-023-10088-9","DOIUrl":null,"url":null,"abstract":"<h3>Abstract</h3> <p>Recent work by Busaniche, Galatos and Marcos introduced a very general twist construction, based on the notion of <em>conucleus</em>, 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 cases—such as <em>(quasi-)Nelson algebras</em> and <em>(quasi-)N4-lattices</em>—as particular instances of the general construction. We pursue two approaches, one that directly generalizes the classical Rasiowa construction for Nelson algebras, and an alternative one that allows us to study twist-algebras within the theory of residuated lattices.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-01-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s11225-023-10088-9","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
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 cases—such as (quasi-)Nelson algebras and (quasi-)N4-lattices—as particular instances of the general construction. We pursue two approaches, one that directly generalizes the classical Rasiowa construction for Nelson algebras, and an alternative one that allows us to study twist-algebras within the theory of residuated lattices.
分享
京公网安备 11010802042870号
京ICP备2023020795号-1
求助内容：
应助结果提醒方式：
扫码关注我们
