О расширениях логики Нельсона, удовлетворяющих аксиоме Даммета

Полностью описан класс расширений логики, получающейся присоединением к паранепротиворечивой логике Нельсона аксиомы Даммета. Кроме того, доказано, что каждое расширение указанной логики конечно аксиоматизируемо и разрешимо и что по произвольной формуле можно узнать, какое именно расширение она аксиоматизирует.