An Algebraic Investigation of the Connexive Logic $$\textsf{C}$$

Studia Logica 112 (1):37-67 (2023)
  Copy   BIBTEX


In this paper we show that axiomatic extensions of H. Wansing’s connexive logic $$\textsf{C}$$ ( $$\textsf{C}^{\perp }$$ ) are algebraizable (in the sense of J.W. Blok and D. Pigozzi) with respect to sub-varieties of $$\textsf{C}$$ ( $$\textsf{C}^{\perp }$$ )-algebras. We develop the structure theory of $$\textsf{C}$$ ( $$\textsf{C}^{\perp }$$ )-algebras, and we prove their representability in terms of twist-like constructions over implicative lattices (Heyting algebras). As a consequence, we further clarify the relationship between the aforementioned classes. Finally, taking advantage of the above machinery, we provide some preliminary remarks on the lattice of axiomatic extensions of $$\textsf{C}$$ ( $$\textsf{C}^{\perp }$$ ) as well as on some properties of their equivalent algebraic semantics.



    Upload a copy of this work     Papers currently archived: 94,549

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

16 (#925,043)

6 months
10 (#397,263)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Connexive Implications in Substructural Logics.Davide Fazio & Gavin St John - forthcoming - Review of Symbolic Logic:1-32.

Add more citations

References found in this work

Constructible falsity.David Nelson - 1949 - Journal of Symbolic Logic 14 (1):16-26.
Constructible falsity and inexact predicates.Ahmad Almukdad & David Nelson - 1984 - Journal of Symbolic Logic 49 (1):231-233.
Experiments on Aristotle’s Thesis.Niki Pfeifer - 2012 - The Monist 95 (2):223-240.
A semantical study of constructible falsity.Richmond H. Thomason - 1969 - Mathematical Logic Quarterly 15 (16-18):247-257.

View all 14 references / Add more references