Abstract:The logico-algebraic study of Lewis's hierarchy of variably strict conditional logics has been essentially unexplored, hindering our understanding of their mathematical foundations, and the connections with other logical systems. This work aims to fill this gap by providing a comprehensive logico-algebraic analysis of Lewis's logics. We begin by introducing novel finite axiomatizations for varying strengths of Lewis's logics, distinguishing between global and local consequence relations on Lewisian sphere models. We then demonstrate that the global consequence relation is strongly algebraizable in terms of a specific class of Boolean algebras with a binary operator representing the counterfactual implication; in contrast, we show that the local consequence relation is generally not algebraizable, although it can be characterized as the degree-preserving logic over the same algebraic models. Further, we delve into the algebraic semantics of Lewis's logics, developing two dual equivalences with respect to particular topological spaces. In more details, we show a duality with respect to the topological version of Lewis's sphere models, and also with respect to Stone spaces with a selection function; using the latter, we demonstrate the strong completeness of Lewis's logics with respect to sphere models. Finally, we draw some considerations concerning the limit assumption over sphere models.

Theory of Generalized Tautology in Subaigebras of System H_α

A Class of Infinite Matrix Topological Algebras

An Automatic Adjoint Theorem and Its Applications

Generalized H-Lie structure of associative algebras in a category

A Generalization of Lie H-Pseudobialgebras

On the First Hochschild Cohomology of Admissible Algebras

$\ell$-adic Tautological Systems

The Algebras of Lewis's Counterfactuals

On a Generalization of Heyting Algebras I

Generalized algebras

A generalized uniqueness theorem for generalized Boolean dynamical systems

A generalized theory of ideals and algebraic substructures

Homology theory valued in the category of bicommutative Hopf algebras

Some remarks on general systems

A Few Expanding Lie Algebras of the Lie Algebra and Applications

Many subalgebras of $\mathcal{P}(ω)/\mathit{fin}$

Extension realizing affine datum: low-dimensional cohomology

Many-valued complete distributivity

On the sub-adjacent Hopf algebra of the universal enveloping algebra of a post-Lie algebra

A survey and exposition of sub-Hausdorff separation axioms

Boolean Algebras, Generalized Abelian Rings, And Grothendieck Groups