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 20:3220: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 17:4717: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"