Матэнциклопедия
ПонятиеСтатья Матэнциклопедии
Строгой импликации исчисление
http://libmeta.ru/thesaurus/mathencyclopedia/Строгой_импликации_исчисление
Определение
логическое исчисление, основанное на строгой импликации, т. е. логической операции, соответствующей союзу лесли..., то..,
близко к
тезаурус