Guido Bertolotti, Pierangelo Miglioli, Daniela Silvestrini, “Exhibiting Wide Families of Maximal Intermediate Propositional Logics with the Disjunction Property”, Mathematical Logic Qtrly, 42, № 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, № 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, № 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