Идемпотентность следствия

В этой статье не процитировать какие - либо источники . Пожалуйста, помогите улучшить эту статью , добавив цитаты из надежных источников . Материал, не полученный от источника, может быть оспорен и удален . Найти источники:  «Идемпотентность следования»  -  новости  · газеты  · книги  · ученый  · JSTOR ( декабрь 2009 г. ) ( Узнайте, как и когда удалить этот шаблон сообщения )

Идемпотентность следствия - это свойство логических систем, которое гласит, что можно вывести те же следствия из многих экземпляров гипотезы, что и только из одной. Это свойство может быть захвачено структурным правило называется сжатием , и в таких системах, можно сказать , что Воплощение является идемпотентно тогда и только тогда , когда сжатие является допустимым правилом .

Правило сокращения: от

А , С , С → В

выводится

, C → B .

Или в обозначении последовательного исчисления ,

${\ displaystyle {\ frac {\ Gamma, C, C \ vdash B} {\ Gamma, C \ vdash B}}}$

В линейной и аффинной логике следствие не идемпотентно.

См. Также [ править ]

• Теорема без удаления