ИСТИНА |
Войти в систему Регистрация |
|
ИПМех РАН |
||
Классическое исчисление высказываний, как известно, вызвало претензии, вызванные так так называемыми парадоксами материальной импликации, что повлекло к попыткам ввести иные формы импликации. Наряду с этими попытками продолжались глубокие исследования классического исчисления высказываний.Особенно интенсивными они были в школе Д. Гильберта, чему и посвящен доклад.