Logics of involutive Stone algebras

02/10/2021
by   Sérgio Marcelino, et al.
0

An involutive Stone algebra (IS-algebra) is a structure that is simultaneously a De Morgan algebra and a Stone algebra (i.e. a pseudo-complemented distributive lattice satisfying the well-known Stone identity  xv  x=1). IS-algebras have been studied algebraically and topologically since the 1980's, but a corresponding logic (here denoted IS≤) has been introduced only very recently. The logic IS≤ is the departing point for the present study, which we then extend to a wide family of previously unknown logics defined from IS-algebras. We show that IS≤ is a conservative expansion of the Belnap-Dunn four-valued logic (i.e. the order-preserving logic of the variety of De Morgan algebras), and we give a finite Hilbert-style axiomatization for it. More generally, we introduce a method for expanding conservatively every super-Belnap logic so as to obtain an extension of IS≤. We show that every logic thus defined can be axiomatized by adding a fixed finite set of rule schemata to the corresponding super-Belnap base logic. We also consider a few sample extensions of IS≤ that cannot be obtained in the above-described way, but can nevertheless be axiomatized finitely by other methods. Most of our axiomatization results are obtained in two steps: through a multiple-conclusion calculus first, which we then reduce to a traditional one. The multiple-conclusion axiomatizations introduced in this process, being analytic, are of independent interest from a proof-theoretic standpoint. Our results entail that the lattice of super-Belnap logics (which is known to be uncountable) embeds into the lattice of extensions of IS≤. Indeed, as in the super-Belnap case, we establish that the finitary extensions of IS≤ are already uncountably many.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/18/2021

On Logics of Perfect Paradefinite Algebras

The present study shows how any De Morgan algebra may be enriched by a '...
research
09/13/2023

Adding an Implication to Logics of Perfect Paradefinite Algebras

Perfect paradefinite algebras are De Morgan algebras expanded with a per...
research
02/10/2021

Finite axiomatizability of logics of distributive lattices with negation

This paper focuses on order-preserving logics defined from varieties of ...
research
08/19/2018

Universal Proof Theory: Semi-analytic Rules and Craig Interpolation

In [6], Iemhoff introduced the notion of a focused axiom and a focused r...
research
04/20/2021

Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics

We establish decidability for the infinitely many axiomatic extensions o...
research
04/12/2023

Foundations for an Abstract Proof Theory in the Context of Horn Rules

We introduce a novel, logic-independent framework for the study of seque...
research
04/14/2022

Algebraizability of the Logic of Quasi-N4-Lattices

The class of quasi-N4-lattices (QN4-lattices) was introduced as a common...

Please sign up or login with your details

Forgot password? Click here to reset