Про принцип Маркова, Verse Calculus и их связь с линейной логикой

[akuklev]

Принцип Маркова это невыводимое в интуиционистской логике предикатов утверждение, которое тем не менее выполняется в вычислительной/конструктивной интерпретации оной

Comments

[os80]

>Во-вторых биконструктивности является одноразовость
Там ещё какое-то слово перед "биконструктивности" должно стоять?

[wildej]

∃∀(n : ℕ) ¬P(n)
Опечатка?

[kosenko_danila]

С днём рождения! Всех благ! :)

[66george]

Добавил комментарий со ссылкой.