Implicational converses

Lloyd Humberstone

Abstract


We look for, and in several cases find, informative characterizations of the deductive relations between formulas phi and psi necessary and sufficient for them to be respectively equivalent to an implication and its converse in various logics.

Full Text:

PDF

Refbacks

  • There are currently no refbacks.