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 |