АНАЛИТИЧЕСКАЯ ТЕОЛОГИЯ: ДЕДУКТИВНОЕ ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ О НЕРАЗРЕШИМОСТИ В ЛОГИЧЕСКИ ФОРМАЛИЗОВАННОЙ АКСИОМАТИЧЕСКОЙ ТЕОРИИ СИГМА ФОРМУЛЫ [DX], ПРЕДСТАВЛЯЮЩЕЙ В РЕЛЕВАНТНОЙ ТЕИСТИЧЕСКОЙ ИНТЕРПРЕТАЦИИ УТВЕРЖДЕНИЕ О БЫТИИ БОГА

Цель исследования – точная формулировка и решение проблемы доказуемости или недоказуемости утверждения о бытии Бога, а также доказуем�

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::cd1c5b8a8b0620e0c1c5ca3ada806138

Концепции закона и современное государственно-правовое развитие

Publikováno v: Труды Института государства и права Российской академии наук.

В статье предпринята попытка показать на примере учения о законе роль социальной доктрины в развитии государства и общества, более широ

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2806::90b2040f2d1fbe3c0caba18ab4c52c59
http://cyberleninka.ru/article_covers/16975442.png

Formal theory model in the form of commutative semigroup of image constructions

Publikováno v: Journal of Mechanical Engineering; Том 16, № 6 (2013); 24-40
Проблемы машиностроения; Том 16, № 6 (2013); 24-40
Проблеми машинобудування; Том 16, № 6 (2013); 24-40

The paper deals with the issues of creating the mathematical apparatus for dialogue support with user, based on information generalization of each sentence in the text by the formal concept of linguistic image. Relevance of the research issues is ass

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=scientific_p::e3807f7ae7ddaee29951a89bc034d3ac
http://journals.uran.ua/jme/article/view/21315

ОБ ЭЛИМИНАЦИИ ОПЕРАТОРА ФИКСИРОВАННОЙ ТОЧКИ ДЛЯ НЕКОТОРЫХ ФОРМУЛ В ТЕОРИИ ОДНОГО СЛЕДОВАНИЯ

Мы рассматриваем вопрос об эффективной элиминации оператора фиксированной точки для некоторых формул специального вида, содержащих ра

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=httpsopenrep::25c6d7666ad4965ce86d9dd6ba0b244f
https://openrepository.ru/article?id=773009

О НЕРАЗРЕШИМОСТИ АДДИТИВНЫХ И МУЛЬТИПЛИКАТИВНЫХ ТЕОРИЙ НАТУРАЛЬНЫХ ЧИСЕЛ С ОПЕРАТОРОМ ТРАНЗИТИВНОГО ЗАМЫКАНИЯ

Мы продолжаем рассматривать вопрос о разрешимости обогащений разрешимых арифметических теорий оператором транзитивного замыкания. В �

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=httpsopenrep::40046028028523802b716f2f9382bfd4
https://openrepository.ru/article?id=438392