2 papers
math.LO2025
Bi-intuitionistic logics through the abstract algebraic logic lens
Jonte Deakin, Ian Shillito
Since the discovery of critical mistakes in Rauszer's work on bi-intuitionistic logics, solid foundations for these have progressively been rebuilt. However, the algebraic treatmen…
math.LO2024
Sub-sub-intuitionistic logic
Jonte Deakin, Jim de Groot
Sub-sub-intuitionistic logic is obtained from intuitionistic logic by weakening the implication and removing distributivity. It can alternatively be viewed as conditional weak posi…