Единственная трехзначная ⊃¬-логика с одним выделенным значением, являющаяся паранормальной и регулярной ⊃¬-логикой с классической импликацией

Abstract

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