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 (Set-Fmla) order-preserving logics are non-algebraizable self-extensional logics of formal inconsistency and undeterminedness determined by a six-valued matrix, studied in depth by Gomes et al. (2022) 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 Set-Fmla order-preserving and top-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 Set-Set logic, in particular, the axiomatization we obtain is analytic. We close by studying interpolation properties for these logics and concluding that the new variety has the Maehara amalgamation property.

Two classes of ordinal sum implications

On Increments of Sums of Independent Non-Identically Distributed Random-Variables

Decomposition and Resolution of Fuzzy Relation Equations (II) Based on Boolean-Type Implications

Lift and generalized ordinal sum of negations on bounded posets

A unified framework of fuzzy implications and coimplications

Fuzzy Implications - A (Dis)similarity Perspective

A Fuzzy Logic for an Ordinal Sum T-Norm

The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences

Implication Operators in Fuzzy Logic.

New R-implication generated by T-partial order

Measure and integral with purely ordinal scales

Adding an Implication to Logics of Perfect Paradefinite Algebras

A Note on “Semi-Uninorms and Implications on a Complete Lattice”

Going Forth and Drawing Back: an Intensional Approach in Nonmonotonic Inference.

Independence of Essential Sets in Finite Implication Bases

Innovative Methods of Constructing Strict and Strong Fuzzy Negations, Fuzzy Implications and New Classes of Copulas

The Quintuple Implication Principle of fuzzy reasoning

Two Extensions of the Sugeno Class and a Novel Constructed Method of Strong Fuzzy Negation for the Generation of Non-Symmetric Fuzzy Implications

Towards a General Theory of Dependent Sums

Generating methods of some classes of fuzzy implications obtained by unary functions and algebraic structures