Похожие чаты

А зачем может быть нужно выбирать неполные семантики для синтаксиса,

который допускает полные?

9 ответов

12 просмотров

Ну Хинтикка по философским соображениям сделал. Понял, что вышло не очень, и запилил с игровой семантикой IF-логику, которая не является классической.

Exalted Kitharode- Автор вопроса
Brenoritvrezorkre
Ну Хинтикка по философским соображениям сделал. По...

А интуиционистская логика не формализована до конца, поэтому её нельзя назвать полной?

Мотивацию эрбрановской семантики можно посмотреть здесь: http://intrologic.stanford.edu/extras/manifesto.html

Exalted Kitharode- Автор вопроса
Brenoritvrezorkre
Что значит не формализована до конца

Ну я слышал у неё в корне какие-то особенности не поддающиеся переводу в набор строгих правил введения и элиминации. Допускаю что глупости говорю

Brenoritvrezorkre
Мотивацию эрбрановской семантики можно посмотреть ...

Хотя я сейчас посмотрел, и там пишут не про semantic completeness, а про inferential completeness

Brenoritvrezorkre
Хотя я сейчас посмотрел, и там пишут не про semant...

Так что лучше читать внимательно. Я мог ошибиться

Exalted Kitharode- Автор вопроса

Похожие вопросы

Обсуждают сегодня

А кто-то пробовал, уезжая из Эстонии получить э-рез и продолжить вести предпринимательскую деятельность внутри Эстонии, используя свой OÜ?
Lalalashechki Lalala
57
@MrMiscipitlick А можешь макрос написать, который будет вычислять смещение относительно переданных меток? Просто .label1-.label2, и вернуть значение.
КТ315
35
Подобного рода ;Следующие три строки это директивы ассемблера, ;которые можно не задавать, т.к.работаем в Visual Studio. ;Символ ";" - это начало однострочного комментария ...
Егор Анелькин
3
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
I arrived here after a Chico Crypto show highlighted the project & the Team - the fact that the Team had a long history of successfully working with household names gave me e...
Banter is Bullish
5
Dear super pioneers 🥳🥳: I want to purchase a hosting plan for a website where video games, metaverse, AI avatars, videos, and heavy virtual twins can be uploaded, which I wan...
Guapi
8
Привет всем. появился вопрос. Разрабатываю сайт, в данный момент он запущен. Хостинг beget. Добавляю на сайт яндекс метрику с помощью полей client-settings (взято отсюда http...
Andrew
2
открыть папку в проводнике: 1 - ShellExecute 2 - ExecuteProcess 3 - OpenDocument что лучше выбрать?
Alexey Kulakov
12
еще вопрос, допустим мы создадим char массив из 10 элементов и присвоим ему через сканф 10 символов. и выведем все символы. Хотел спросить последний элемент /0 будет включать...
Anthem
10
Карта сайта