СЛАБАЯ ФОРМА ИНТЕРПОЛЯЦИИ В ЭКВАЦИОНАЛЬНОЙ ЛОГИКЕ

摘要

В данной работе иследуются многообразия так называемых ограниченных алгебр. Название это восходит к понятию ограниченных решёток, имеющих наибольший элемент Т и наименьший элемент _1_. Разнообразные классы ограниченных алгебр связаны с логикой. Например, классическая логика интерпретируется с помощью булевых алгебр, модальная - с помощью модальных алгебр, интуиционистская - с помощью гейтинговых алгебр. В двузначной булевой алгебре константа Т отождествляется с логическим значением "истина", a JL - с значением "ложь".