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]

Authors

Stefano Bonzio

This author has not been identified. Look up 'Stefano Bonzio' in Google

Michele Pra Baldi

This author has not been identified. Look up 'Michele Pra Baldi' in Google