@Леонид Коганов, непонятно, почему у Вас не загружаются. У меня загружаются (только что проверил), и мне никто не сообщал о такой проблеме. Может быть, у Вас получится с этой ссылкой?
Что касается моей неудовлетворенности современной мат. логикой, то выразить причины этого без строгих обоснований, которые содержатся в файлах, весьма затруднительно. И поэтому то, что будет написано ниже, можно воспринять как беспочвенные декларации. Но раз уж Вы просите…
1) Мат. логика сложна для понимания. Использование предложенной интерпретации на основе алгебры множеств, позволяет сделать логический анализ более доступным.
2) В плане практических приложений мат. логику можно использовать только для дедуктивного анализа, да и то, главным образом, в случаях, когда предполагаемое следствие известно. Предлагаемый подход позволяет расширить дедуктивный анализ, в частности вычислять следствия с заранее заданными свойствами и, кроме того, использовать такие «не дедуктивные» методы логического анализа, как формулирование и проверка гипотез, распознавание и анализ ошибок и некорректностей в рассуждениях, анализ неопределенностей, поиск абдуктивных заключений и т.д.
Спасибо за вопрос.