Аннотация:Цель статьи - исследование логик нельсоновского типа, включающихся в известную логику Par, а задача - построение примера такого рода логики и ее изучение. Секвенциальные аксиоматизации подлогик логики Par, подобные предложенной здесь аксиоматизации логики Par(∞), можно использовать при разработке разрешающих процедур для соответствующих подлогик логики Par.