First, this paper proves that Tennant's two claims (i.e. that his own logical system is paraconsistent, and that it overlaps minimal logic) are both false. Second, this proof is certified with Coq.

翻译：[翻译摘要] 本文首先证明了Tennant的两个论断（即其自身的逻辑系统是次协调的，且该逻辑系统与最小逻辑有重叠）均为假命题。其次，该证明经由Coq形式化验证。