{"id":"arxiv/2606.31277","url":"https://arxiv.org/abs/2606.31277","tags":["math.LO"],"score":0,"title":"Recovery operators in quasi-Nelson logic: the prelinear case","domain":"math.LO","source":"arxiv","authors":["Tommaso Flaminio","Lluis Godo","Umberto Rivieccio"],"reviews":0,"subject":"math.LO","summary":"This paper investigates recovery operators in quasi-Nelson logic, the algebraizable logical counterpart of quasi-Nelson algebras. These form a variety of three-potent, distributive, but not necessarily involutive residuated lattices that may be regarded as a common generalization of Nelson and Heyting algebras. We consider both consistency and determinedness operators, with a particular focus on logics and algebras that satisfy the prelinearity condition, which is well-known in the area of mathematical fuzzy logics. We show that, essentially, all algebraic and logical results already proved…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-30","reactions":{}}