PlanetMath:

(more info)

Math for the people, by the people.

donor list - find out how

Main Menu

Revision Browser : Heyting algebra

2008-07-08 17:02:01 - revision [ Version 11 --> (current) ] by CWoo

Changes for correction #14010 ('aka Pseudo-Boolean algebras').

diff	2008-04-08 03:37:38 - revision [ Version 10 --> Version 11 ] by CWoo

2007-07-30 16:41:27 - revision [ Version 9 --> Version 10 ] by CWoo

Changes for correction #12931 ('Property 2 still incorrect').

diff	2007-05-24 13:07:49 - revision [ Version 8 --> Version 9 ] by CWoo

2007-01-23 18:45:08 - revision [ Version 7 --> Version 8 ] by CWoo

added some proofs

diff	2007-01-17 10:29:39 - revision [ Version 6 --> Version 7 ] by CWoo

diff	2007-01-15 19:04:14 - revision [ Version 5 --> Version 6 ] by CWoo

diff	2007-01-10 11:52:55 - revision [ Version 4 --> Version 5 ] by CWoo

2007-01-10 11:51:30 - revision [ Version 3 --> Version 4 ] by CWoo

Changes for correction #11226 ('incorrect properties').

2007-01-09 16:38:31 - revision [ Version 2 --> Version 3 ] by mps

Grammar fixes:

* "Denote $a^*$" -> "Let $a^*$ denote".
* Remove comma splice from second paragraph.

diff	2007-01-09 15:51:55 - revision [ Version 1 --> Version 2 ] by CWoo

displaying all 11 items.