Статья 347

Все перечисленные правила имеют конструктивное истолкование, которое для ПУО и ПЗ видно из их названия. В ПУО охраны создаваемого условного оператора. В ПЗ - инвариант создаваемого цикла, - условие его завершения. ПР реализации не преобразует, оно лишь говорит о том, что то же можно использовать и в более частной ситуации, чем. ПБЦ утверждает, что застой не может быть вечен, ПОШ постулирует существование нигде не определенной функции ошибка.
Таким образом, конструктивное описание ситуации, где классические средства работают плохо, оказалось очень компактным и эффективным.
Логика - лишь одна из простейших логик схем программ, успешно используемых в автоматизированном планировании действий.

Интуиционистскую логика.

В отношении своего синтаксиса интуиционистская логика оказалась наиболее традиционной из конструктивных логик. Она полностью сохранила язык исчисления предикатов и логические связки классической логики вложив в них свой, конструктивный, смысл.