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

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

Odintsov S. P.
On extensions of Nelson’s logic satisfying Dummett’s axiom

The class of extensions is completely described of the logic obtained by adding Dummett’s axiom to the paraconsistent Nelson logic. Moreover, we prove that every extension of this logic is finitely axiomatizable and decidable and, given a formula, it is possible to determine which extension is axiomatized by this formula.

Полный текст статьи / Full texts:

• PDF file (270 KB)
• PostScript file (1,5 MB)