Конституция РФ как источник аксиом частного права. Опыт логического вычисления - М. Бекбоев скачать бесплатно

Аннотация

Автор выделил в Конституции РФ положения частного права, формализовал соответствующие тексты по методике Е-анализа и вычислил в Е-программе аксиомы этой подсистемы и её инвариант, следствия, дополняющие систему до полной, и противоречия.Е-структура и Е-программа, разработанные доктором физико-математических наук Борисом Александровичем Куликом, позволяют находить новое знание, в частности, дополнять систему, находить противоречия, определять инвариант логической системы и её аксиомы.