A method to single out maximal propositional logics with the disjunction property. II (Q1902977)

The authors develop their method (see part I, reviewed above) and construct infinitely many maximal intermediate propositional logics with the disjunction property extending the logic ASL (``anti''SL): \[ \text{Int} + \biggl( \bigl( (\neg \neg A \to A) \to A \vee \neg A \bigr) \to \neg A \vee \neg \neg A \biggr) \to \neg \neg A \vee (\neg \neg A \to A). \] Besides, a conjuncture of maximality of some logics is refuted.