Adding an Implication to Logics of Perfect Paradefinite Algebras

by   Vitor Greati, et al.

Perfect paradefinite algebras are De Morgan algebras expanded with a perfection (or classicality) operation. 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. We continue hereby 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 such algebra with this connective and study the (self-extensional) Set-Set and Set-Fmla order-preserving logics, as well as the T-assertional logics of the variety induced by the new 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.


page 1

page 2

page 3

page 4


On Logics of Perfect Paradefinite Algebras

The present study shows how any De Morgan algebra may be enriched by a '...

Logics of involutive Stone algebras

An involutive Stone algebra (IS-algebra) is a structure that is simultan...

Modular many-valued semantics for combined logics

We obtain, for the first time, a modular many-valued semantics for combi...

Algebraic semantics for one-variable lattice-valued logics

The one-variable fragment of any first-order logic may be considered as ...

Finite axiomatizability of logics of distributive lattices with negation

This paper focuses on order-preserving logics defined from varieties of ...

Finite two-dimensional proof systems for non-finitely axiomatizable logics

The characterizing properties of a proof-theoretical presentation of a g...

An unexpected Boolean connective

We consider a 2-valued non-deterministic connective ∧-5.5pt ∨ defined by...

Please sign up or login with your details

Forgot password? Click here to reset