Definition talk:Boolean Algebra

From ProofWiki
Jump to navigation Jump to search

Also see User talk:Lord Farin/Backup/Definition:Boolean Algebra

Two definitions

I am about to re-immerse myself into this: can someone explain what the difference is between the two definitions, apart from the fact that the second one explicitly states the complementation operator? Can we merge them? --prime mover (talk) 22:58, 19 April 2013 (UTC)

May I suggest this stay on hold until LF returns? I believe he is familiar with the connections between Huntington algebras and Boolean algebras and has some sort of overarching concept for how to put this stuff together, though I could be mistaken. --Dfeuer (talk) 23:06, 19 April 2013 (UTC)
Okay, we'll just have to rename everything when 1 and 2 are merged. --prime mover (talk) 19:27, 20 April 2013 (UTC)