Библиографический список

*. Раухваргер, А.Б. Надконтекстные функции и контекст доказательств // Матема- тические методы в технике и технологиях: сб. тр. междунар. науч. конф. В 12 т. Т.4. СПб.: Изд-во Политехн. ун-та, 2018. С. 95-98.
2018, Раухваргер А.Б., Надконтекстные функции и контекст доказательств
https://search.rsl.ru/ru/record/01009848683

На основе предложенного ранее формального аппарата контекстной логики сформулировано понятие надконтекстных функций, минимального контекста совокупности предложений и контекста доказательств. Показано, что контекстная логика, с использованием этих дополнений, может служить основой автоматического доказательства.

*. Раухваргер А.Б., Калинин В.Б. О возможности построения контекстной логики и ее использования в качестве логической основы программирования и булевой платформы теории вероятностей. Актуальные проблемы математики и информатики. Сборник статей к 20–летию факультета ИВТ. Ярославль, ЯрГУ. 2007. С. 81-86.
https://search.rsl.ru/ru/record/01003329677

*. Раухваргер А.Б. О контекстной логике и возможных сферах ее применения. Математические методы в технике и технологиях. Сборник трудов XX Международной научной конференции. Том 8. Ярославль, ЯГТУ. 2007. С. 198-202.
https://search.rsl.ru/ru/record/01003145671