Семантическое исчисление секвенций

[Fly]

Что такое семантическое исчисление секвенций? Удавалось находить материалы по просто исчислению секвенций. Если они чем-то отличаются, напишите чем. Если отличий нет, тоже скажите, пожалуйста.

[popolznev]

Зайдите в жж к Шеню и спросите, раз тут никто не знает :)