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…