Abstract
We look for, and in several cases find, informative characterizations of the deductive relations between formulas φ and ψ necessary and sufficient for them to be respectively equivalent to an implication and its converse in various logics.
| Original language | English |
|---|---|
| Pages (from-to) | 61-79 |
| Number of pages | 19 |
| Journal | Logique et Analyse |
| Volume | 45 |
| Issue number | 177-178 |
| Publication status | Published - 1 Dec 2002 |