Containment Logics: Algebraic Completeness and Axiomatization

Stefano Bonzio, Michele Pra Baldi. Containment Logics: Algebraic Completeness and Axiomatization. Studia Logica, 109(5):969-994, 2021. [doi]

Abstract

Abstract is missing.