Давай подойдём с другой стороны. Как ты собираешься использовать это

В стандартной семантике классической логики у нас выполняется бивалентность. Это значит, что там есть два значения истинности. Интерпретируются они как истина и ложь (алгебраически это 1 и 0).

0

1 месяц назад

Brenoritvrezorkre

Nick Ivanych
Со стороны топосов тут многое видно.

Что конкретно?

0

1 месяц назад

Георгий Каданцев

Brenoritvrezorkre
В стандартной семантике классической логики у нас ...

А что это такое для интуиционистской логики? (мы какую-то стандартную модель выбираем? если да, то какую?)

0

1 месяц назад

Brenoritvrezorkre

Георгий Каданцев
А что это такое для интуиционистской логики? (мы к...

В логике Гёделя—Даммита это интервал [0; 1]. Это суперинтуиционистская логика, добавляющая к интуиционистской всего лишь одно свойство (выражается дополнительной аксиомой).

0

1 месяц назад

Георгий Каданцев

Brenoritvrezorkre
В логике Гёделя—Даммита это интервал [0; 1]. Это с...

Ну, тогда ответ на вопрос "какие свойства имеет множество истинности интуиционистской логики" — те же свойства, что у отрезка 🤷‍♂️ Но это же очень странный выбор для модели

0

1 месяц назад

Brenoritvrezorkre

Георгий Каданцев
Ну, тогда ответ на вопрос "какие свойства имеет мн...

А точно ли, что те же свойства?

0

1 месяц назад

Георгий Каданцев

Brenoritvrezorkre
А точно ли, что те же свойства?

Если это буквально одно и то же множество, то да (??)

0

1 месяц назад