We introduce a generalisation of Nelson algebras having a not necessarily involutive
negation. We suggest dubbing this class quasi-Nelson algebras, in analogy with quasi-De …

Quasi-Nelson logic (QNL) was recently introduced as a common generalisation of
intuitionistic logic and Nelson's constructive logic with strong negation. Viewed as a …

This is the second of a series of papers that investigate fragments of quasi-Nelson logic
(QNL) from an algebraic logic standpoint. QNL, recently introduced as a common …

The variety of quasi-Nelson algebras (QNAs) has been recently introduced and
characterised in several equivalent ways: among others, as (1) the class of bounded …

Quasi-Nelson logic is a recently-introduced generalization of Nelson's constructive logic with
strong negation to a non-involutive setting. In the present paper we axiomatize the negation …

Over the past 50 years, Nelson algebras have been extensively studied by distinguished
scholars as the algebraic counterpart of Nelson's constructive logic with strong negation …

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 …

The algebraic theory of quasi-Nelson logic, a non-involutive generalization of Nelson's
constructive logic with strong negation, has been shown to be surprisingly rich in a series of …

In the first part of this paper we analyzed finite non-deterministic matrix semantics for
propositional non-normal modal logics as an alternative to the standard Kripke possible …

We take a glimpse at the relation between WNM-algebras (algebraic models of the well-
known Weak Nilpotent Minimum logic) and quasi-Nelson algebras, a non-involutive …