В чём разница между "логикой" и "исчислением"?
От: Эйнсток Файр Мухосранск Странный реагент
Дата: 05.03.20 06:12
Оценка:

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


В идеале хотелось бы определение "логики", определение "исчисления",
а то кругом рассматривают их как синонимы, мол выражения "логика предикатов" и "исчисление предикатов" взаимозаменяемы.
 
Подождите ...
Wait...
Пока на собственное сообщение не было ответов, его можно удалить.