Guido Bertolotti, Pierangelo Miglioli, Daniela Silvestrini, “Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property”, Mathematical Logic Qtrly, 42, no. 1, 1996, 501
Michael Zakharyaschev, 7, Advances in Intensional Logic, 1997, 195
151, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, 2007, 479
Alexander Chagrov, Michael Zakharyaschev, “The undecidability of the disjunction property of propositional logics and other related problems”, J. symb. log., 58, no. 3, 1993, 967
Mauro Ferrari, Pierangelo Miglioli, “A method to single out maximal propositional logics with the disjunction property I”, Annals of Pure and Applied Logic, 76, no. 1, 1995, 1
Hanamantagouda P. Sankappanavar, Handbook of Logical Thought in India, 2022, 1
Tomasz Skura, Handbook of Philosophical Logic, 2011, 115
Jeroen Goudsmit, 7734, Logical Foundations of Computer Science, 2013, 206
151, Residuated Lattices: An Algebraic Glimpse at Substructural Logics, 2007, 463
Alex Citkin, 9537, Logical Foundations of Computer Science, 2016, 76