Stefano Bonzio, Michele Pra Baldi. Containment Logics: Algebraic Completeness and Axiomatization. Studia Logica, 109(5):969-994, 2021. [doi]
@article{BonzioB21, title = {Containment Logics: Algebraic Completeness and Axiomatization}, author = {Stefano Bonzio and Michele Pra Baldi}, year = {2021}, doi = {10.1007/s11225-020-09930-1}, url = {https://doi.org/10.1007/s11225-020-09930-1}, researchr = {https://researchr.org/publication/BonzioB21}, cites = {0}, citedby = {0}, journal = {Studia Logica}, volume = {109}, number = {5}, pages = {969-994}, }