Интуиционистская логика
Интуитивистская логика Интуиционистская логика основана на принципе исключенного третьего и избегает неконструктивных доказательств. Интуиционистская логика является более консервативной, чем классическая […]
Вики
Системы формальной логики
Вики
Теория типов
Теория типов Теория типов – это система, которая определяет отношения между терминами и типами. Термины могут быть атомарными, функциональными или