Illative systems of combinatory logic consist of combinatory logicextended with additional constants intended to represent logicalnotions. We introduce some strong systems of illative combinatorylogic, extending earlier ...