Further Results on Proof Theories For Semilattice Logics
Meyer, Robert K., Martin, Errol P., Giambrone, Steve, Urquhart, Alasdair
Published in Mathematical logic quarterly (1988)
Published in Mathematical logic quarterly (1988)
Get full text
Journal Article