Аннотация:В работе исследуется возможность семантического моделирования таких унарных связок, чья двойная итерация была бы способна симулировать свойства других унарных связок: классического, паранепротиворечивого, параполного и парадефинитного отрицаний. В частности, нами предлагается несколько разновидностей формальной семантики, в рамках которой унарная связка типа отрицания ~ удовлетворяет критериям парадефинитного отрицания, а ее двойная итерация, то есть ~~, ведет себя в точности как отрицание в параполной трехзначной логике Клини.