Canonical formulas via locally finite reducts and generalized dualities
Nick Bezhanishvili · EPiC series in computing · 2018
The method of canonical formulas is a powerful tool for investigating intuitionistic and modal logics. In this talk I will discuss an algebraic approach to this method. I will mostly concentrate on the case of intuitionistic logic. But I will also review the case of modal logic and possible generalizations to substructural logic.