Доказано, что T r(⟨M (1/2, 0, 1/2), ¬(1/2, 1, 0)⟩) есть единственная трехзначная L⊃¬ -логика с одним выделенным значением, являющаяся паранормальной и регулярной -логикой классической импликацией. It is proven that the only three-valued -logic with one designated value which a paranormal and regular classical implication.