Об одном обобщении принципа reductio ad absurdum

Одинцов, С.П.

dc.contributor.author	Одинцов, С.П.
dc.date.accessioned	2014-10-17T12:26:58Z
dc.date.available	2014-10-17T12:26:58Z
dc.date.issued	2006
dc.identifier.citation	Одинцов С.П. Об одном обобщении принципа reductio ad absurdum // Вестник НГУ. Серия: Математика. 2006. Т.6. Вып.3. С. 62-87.	ru_RU
dc.identifier.uri	https://lib.nsu.ru/xmlui/handle/nsu/1847
dc.description.abstract	На основе сравнения логики классической опровержимости Карри и модальной логики Лукасевича предложено обобщения понятия отрицания как сведения к унарному оператору абсурдности. Исследована возможность представления в таком виде отрицания в таких известных системах паранепротиворечивой логики как логика Батенса CLuN и максимальная паранепротиворечивая логика Сета P^1.	ru_RU
dc.language.iso	ru	ru_RU
dc.publisher	Новосибирский государственный университет	ru_RU
dc.title	Об одном обобщении принципа reductio ad absurdum	ru_RU
dc.title.alternative	On one generalization of the principle reductio ad absurdum	ru_RU
dc.type	Article	ru_RU