Введение
В абстрактной алгебраической логике, ветви математической логики, оператор Лейбница - инструмент, используемый для классификации дедуктивных систем, которые имеют точное техническое определение и охватывают большое количество логик. Оператор Лейбница был введен Вимом Блоком и Доном Пигоцци, двумя основателями этой области, как средство абстрагировать хорошо известный процесс ЛинденбаумаТарски, который приводит к ассоциации булевой алгебры с классическим предложением исчисления, и сделать его применимым к как можно более широкому спектру сентенциальной логики. Это оператор, который присваивает данной теории данной сентенциальной логики, воспринимаемой как термин алгебры с операцией следствия на ее вселенной, наибольшую конгруэнтность на алгебре, которая совместима с теорией.
Иерархия
Оператор Лейбница и изучение различных его свойств, которые могут быть удовлетворены или не удовлетворены для конкретной сентенциальной логики, породили то, что теперь известно как абстрактная алгебраическая иерархия или иерархия Лейбница сентенциальной логики. Логика классифицируется на различных уровнях этой иерархии в зависимости от того, насколько сильна связь между логикой и ее алгебраическим аналогом. Свойства оператора Лейбница, которые помогают классифицировать логику, - это монотонность, инжективность, непрерывность и коммутативность с обратными замещениями. Например, протоалгебраическая логика, образующая самый широкий класс в иерархии , т. е. тот, который находится в нижней части иерархии и содержит все другие классы , характеризуется монотонностью оператора Лейбница в их теориях. Другие известные классы сформированы эквивалентными логиками, слабо алгебраизуемыми логиками и алгебраизуемыми логиками, среди прочих. Существует обобщение оператора Лейбница в контексте категорической абстрактной алгебраической логики, что позволяет применять широкий спектр методов, которые ранее применялись только в рамках сентенциальной логики к логикам, формализованным как институты. Рамочная структура значительно шире по объему, чем рамка сентенциальной логики, потому что она позволяет включать в язык несколько подписей и количественных знаков и обеспечивает механизм обработки логики, которая не основана на синтаксическом языке.