Return to Article Details Deductibility Logic: the modal axiom B and adjunction Download Download PDF