Skip to main content
3 events
when toggle format what by license comment
Mar 30, 2011 at 17:12 comment added Hans-Peter Stricker +1 for the hint to what you would reserve the name of co-implication for.
Mar 30, 2011 at 16:41 comment added Andreas Blass In intuitionistic logic, $\neg q\to\neg p$ is equivalent to $p\to\neg\neg q$. So I doubt that it has been studied as a separate connective.
Mar 30, 2011 at 14:30 history answered Finn Lawler CC BY-SA 2.5