A note on the first-order logic of complete BL-Chains

Personal tools