この3値論理の公理化は帰結関係をベースにシークエント計算などで行われる.
など