Интуиционистская логика высказываний

[ohart]

В обычной логике высказываний формально доказуемы все тавтологии и только они. В интуиционистской логике высказываний нет как минимум одной аксиомы - исключения третьего. Тогда получается, что не все тавтологии в ней выводимы. Есть ли какой-то простой критерий доказуемости формулы в ИЛ?

[mihaild]

Да, формула выводима в интуиционистской логике если она общезначима относительно семантики Крипке. В общем-то всё то же самое, что и для классической - выводимы в точности формулы, выполненные во всех моделях - только модели надо брать немного другие.

[ohart]

mihaild, спасибо!