Connexive logics and connexive semi-Heyting algebras

TL;DR

This paper introduces and investigates a new connexive logic based on semi-Heyting algebras, establishing its algebraic properties, variants, and connections to other logical systems, including a 3-valued version linked to intuitionistic logic.

Contribution

It defines a novel connexive semi-Heyting logic and its algebraic semantics, explores its variants, and connects it to existing logical frameworks like intuitionistic logic.

Findings

The logic SH is algebraizable with a specific subvariety of semi-Heyting algebras.

The 3-valued SH3 is deductively equivalent to 3-valued intuitionistic logic.

New characterizations of anti-Boolean semi-Heyting algebras are provided.

Abstract

In this paper, we define and investigate a connexive logic, called 'Connexive semi-Heyting logic' (\mathcal{CSH} for short) and a new subvariety CSH of the variety SH of semi-Heyting algebras. It is shown that the logic \mathcal{CSH} is implicative in the sense of Rasiowa, and is algebraizable with CSH as an equivalent algebraic semantics (in the sense of Blok and Pigozzi). We also introduce the logics \mathcal{AT}i and \mathcal{BT}i, i = 1, 2, along with the subvarieties ATi and BTi, i = 1, 2, of SH. It is then shown that AT1 = AT2 and CSH = BT1 \subset BT2 \subset AT1. A 3-valued connexive semi-Heyting logic \mathcal{CSH}3 and its equivalent algebraic semantics CSH3 are introduced and axiomatized; and it is then shown that CSH3 is deductively equivalent to the 3-valued intuitionistic logic. New characterizations of anti-Boolean semi-Heyting algebras are given. We show that BT2 \cap SHc = V(2), and SHc \subset AT1, where SHc is defined by x \to y = y \to x. It is proved that the identity (AT1) is equivalent to the identity x* \to y* = y* \to x* (* being the pseudocomplement) in StSH and also is equivalent to 0 \to 1 = 0 in SH. We show that AT1 \cap EX \subset BT1, where EX is defined by x \to (y \to z) = y \to (x \to z). The paper concludes with some further remarks, mentions some open problems for future research and proposes two new principles to be considered as Connexive Theses.