Timeline for Condition of possibility = Co-Implication
Current License: CC BY-SA 2.5
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 |