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