В чем отличие тавтологий в логике высказываний от тавтологий в других логических системах?

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

В каждом логическом исчислении имеется своё множество тавтологий. ru.ruwiki.ru ru.wikipedia.org

В исчислении высказываний тавтологиями являются аксиомы (точнее — схемы аксиом), а также все формулы, которые можно получать из известных тавтологий с помощью заданных правил вывода (чаще всего это Modus ponens и правило подстановки). ru.ruwiki.ru ru.wikipedia.org

В логике предикатов, например, проблема определения того, является ли произвольная формула тавтологией, алгоритмически неразрешима. ru.ruwiki.ru ru.wikipedia.org

Таким образом, отличие может заключаться в том, что в разных логических системах тавтологии имеют свои особенности: в одних случаях проверка тавтологии проста (например, в алгебре высказываний), в других — сложна и зависит от системы аксиом и доступных правил вывода. ru.ruwiki.ru ru.wikipedia.org