который допускает полные?
Ну Хинтикка по философским соображениям сделал. Понял, что вышло не очень, и запилил с игровой семантикой IF-логику, которая не является классической.
А интуиционистская логика не формализована до конца, поэтому её нельзя назвать полной?
Что значит не формализована до конца
Мотивацию эрбрановской семантики можно посмотреть здесь: http://intrologic.stanford.edu/extras/manifesto.html
Ну я слышал у неё в корне какие-то особенности не поддающиеся переводу в набор строгих правил введения и элиминации. Допускаю что глупости говорю
Хотя я сейчас посмотрел, и там пишут не про semantic completeness, а про inferential completeness
Так что лучше читать внимательно. Я мог ошибиться
Обсуждают сегодня