完全パラ定義代数の論理にインプリケーションを追加する

完全パラ定義代数は、デ・モルガン代数に完全性(または古典性)演算子を加えたものである。これらは、自己拡張的な矛盾形式論理と不確定形式論理の非代数化可能な多重結論(SET-SET)および単一結論(SET-FMLA)順序保存論理を形成する。本研究では、これらの論理にインプリケーション演算子を保守的に追加する方法を調査する。