Минимальная логика: абсолютная основа доказательства

В источнике подробно рассматривается минимальная логика, позиционирующая её как базовую, конструктивную основу математической теории доказательств, берущую своё начало от логика Ингабри Йохана Санссона в 1930-х годах. Эта логика характеризуется конструктивным принципом, требующим, чтобы доказательства явно строили или демонстрировали пример, а не просто доказывали невозможность противоположного, что делает её общим универсальным ядром более сильных систем, таких как интуиционистская и классическая логика. Более того, в тексте объясняется, что простота минимальной логики, хотя и делает её «слабее» в плане доказуемости, является её главным преимуществом, поскольку она служит целевым объектом для анализа и понимания фундаментальной архитектуры и «общей ДНК» более сложных логических аргументов. Анализ этой основополагающей системы проводится с использованием инструментов теории доказательств, таких как системы естественного вывода, с упором на её импликативный фрагмент.