P. Santorio, “Conditional Excluded Middle in Informational Semantics”, Proceedings of the AC, pp. 385–394, Dec. 2017, doi: 10.53437/tkftbm50.