Implicational converses

Research output: Contribution to journalArticleResearchpeer-review

5 Citations (Scopus)


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 languageEnglish
Pages (from-to)61-79
Number of pages19
JournalLogique et Analyse
Issue number177-178
Publication statusPublished - 1 Dec 2002

Cite this