Abstract Paradefinite ('beyond the definite') logics are logics that can be used for handling
contradictory or partial information. As such, paradefinite logics should be both …

We introduce a family of modal expansions of Belnap–Dunn four-valued logic and related
systems, and interpret them in many-valued Kripke structures. Using algebraic logic …

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 …

We introduce a generalization of Nelson algebras having a not-necessarily involutive
negation; we suggest to dub this class quasi-Nelson algebras in analogy with quasi-De …

This paper highlights the importance of a strategy for semantic analysis initiated by J.
Michael Dunn, known in the literature as the “American Plan.” The key insight of the plan …

This paper considers some issues to do with valuational presentations of consequence
relations, and the Galois connections between spaces of valuations and spaces of …

We employ the well-developed and powerful techniques of algebraic semantics and
Priestley duality to set up a Kripke semantics for a modal expansion of Arieli and Avron's …

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 …

We introduce a proper multi-type display calculus for bilattice logic (with conflation) for which
we prove soundness, completeness, conservativity, standard subformula property and cut …

The paper contains some algebraic results on several varieties of algebras having an
(interlaced) bilattice reduct. Some of these algebras have already been studied in the …