Intuitionistic propositional logic with Galois negations (IGN) is introduced. Heyting algebras
with Galois negations are obtained from Heyting algebras by adding the Galois pair (¬,∼) …

We develop infinitely many intuitionistic connexive logics with and which are obtained from
intuitionistic propositional logic by adding the negation sign which admits principles of …

We introduce De Morgan Heyting logic for Heyting algebras with De Morgan negation (DH-
algebras). The variety DH of all DH-algebras is congruence distributive. The lattice of all …

The minimal weakening N _0 N 0 of Belnap-Dunn logic under the polarity semantics for
negation as a modal operator is formulated as a sequent system which is characterized by …

Abstract The language of Belnap–Dunn modal logic L _0 L 0 expands the language of
Belnap–Dunn four-valued logic (having constant symbols for the values 0 and 1) with the …

We investigate some non-normal variants of well-studied paraconsistent and paracomplete
modal logics that are based on N. Belnap's and M. Dunn's four-valued logic. Our basic non …

This paper focuses on order-preserving logics defined from varieties of distributive lattices
with negation, and in particular on the problem of whether these can be axiomatized by …

We develop a paraconsistent logic by introducing new models for conditionals with
acceptive and rejective selection functions which are variants of Chellas' conditional models …