Abstract:Perfect paradefinite algebras are De Morgan algebras expanded with an operation that allows for the full behavior of classical negation to be restored. They form a variety that is term-equivalent to the variety of involutive Stone algebras. Their associated multiple-conclusion (Set-Set) and single-conclusion () order-preserving logics are non-algebraizable self-extensional logics of formal inconsistency and undeterminedness determined by a six-valued matrix. We studied these logics extensively in Gomes et al. ((2022). Electronic Proceedings in Theoretical Computer Science357 56–76.) from both the algebraic and the proof-theoretical perspectives. In the present paper, we continue that study by investigating directions for conservatively expanding these logics with an implication connective (essentially, one that admits the deduction-detachment theorem). We first consider logics given by very simple and manageable non-deterministic semantics whose implication (in isolation) is classical. These, nevertheless, fail to be self-extensional. We then consider the implication realized by the relative pseudo-complement over the six-valued perfect paradefinite algebra. Our strategy is to expand the language of the latter algebra with this connective and study the (self-extensional) Set-Set and order-preserving and -assertional logics of the variety induced by the resulting algebra. We provide axiomatizations for such new variety and for such logics, drawing parallels with the class of symmetric Heyting algebras and with Moisil's "symmetric modal logic." For the order-preserving Set-Set logic, in particular, we obtain a Set-Set axiomatization that is analytic. We close by studying interpolation properties for these logics and concluding that the new variety has the Maehara amalgamation property.

Algebraic structures formalizing the logic of effect algebras incorporating time dimension

Properties of the connective implication in effect algebras

Galois connections and tense operators on q-effect algebras

Frink Ideal Topology of Lattice Effect Algebras

Remarks on the Sequential Effect Algebras

Tense Logic Based on Finite Orthomodular Posets

Lattice-ordered Effect Algebras and L-algebras

Tense distributive lattices: algebra, logic and topology

Tense logics based on posets

Adding an implication to logics of perfect paradefinite algebras

Program Equivalence for Algebraic Effects via Modalities

Promise Algebra: An Algebraic Model of Non-Deterministic Computations

Tense operators on distributive lattices with implication

Algebraic Language Theory with Effects

Basic Algebras and L-algebras

Scoped Effects as Parameterized Algebraic Theories

Characterizing intermediate tense logics in terms of Galois connections

Algebraic Reasoning over Relational Structures

On Realization of Partially Ordered Abelian Groups

Choice-free Dualities for Lattice Expansions: Application to Logics with a Negation Operator