От: | Эйнсток Файр | Странный реагент | |
Дата: | 05.03.20 06:12 | ||
Оценка: |
Три самых известных видов исчислений доказательства:
— Исчисления Гильберта
— Исчисления натуральной дедукции
— Исчисления секвенций
Каждое из них может дать полную аксиоматическую формализацию
пропозициональной или предикатной логике классического или интуиционистского подхода, почти любой модальной логике, и многим субструктурным логикам типа релевантной или линейной логики.