1. Математическая энциклопедия

Строгой Импликации Исчисление

Логическое исчисление, основанное на строгой импликации, т. е. логической операции, соответствующей союзу лесли..., то..,

Источник: Математическая энциклопедия на Gufo.me