Словарь по логике

Льюис

Кларенс Ирвинг Льюис, C. I. Lewis (1883 - ...): Американский логик и философ. Занимался модальной логикой, ввел понятие строгой импликации, построил пять систем, названных его именем, из которых наиболее известны S4 и S5.