Mathematical versus English meaning in implication and disjunction | OUP Journals & Magazine | IEEE Xplore