Categorical Abstract Algebraic Logic: Local Characterization Theorems for Classes of Systems
scientific article