Heyting algebra: Revision history

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

16 December 2014

23 January 2014

  • curprev 19:3219:32, 23 January 2014 en>EmilJ 40,058 bytes +40,058 On second thoughts, maybe it ''is'' better to explain it properly. The condition of completely distributive lattices is prohibitively strong, so it precludes most interesting examples.

9 July 2012

  • curprev 16:4716:47, 9 July 2012 en>Vaughan Pratt m 40,854 bytes +40,854 Extending EmilJ's metaimplication (his edit of 20 June 2012) to the remaining (?) instances
Retrieved from "https://en.formulasearchengine.com/wiki/Heyting_algebra"