Proof Theories for Semilattice Logics

S. Giambrone,A. Urquhart
DOI: https://doi.org/10.1002/malq.19870330507
Mathematical Logic Quarterly
Abstract:
What problem does this paper attempt to address?