Talk:Two-element Boolean algebra

Mathematics Start‑class Low‑priority

	Mathematics portal This article is within the scope of WikiProject Mathematics, a collaborative effort to improve the coverage of mathematics on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.MathematicsWikipedia:WikiProject MathematicsTemplate:WikiProject Mathematicsmathematics
Start	This article has been rated as Start-class on Wikipedia's content assessment scale.
Low	This article has been rated as Low-priority on the project's priority scale.

List update

Philip Meguire, 22.10.05: I have rewritten this at some length. To understand my interest on this topic, see the references to Laws of Form. — Preceding unsigned comment added by 132.181.160.61 (talk) 07:03, 23 October 2005 (UTC)[reply]

"carrier"

Where does this "carrier" terminology come from? The standard term would be "universe", if you're thinking of a BA as a model of a theory. If it's Laws of Form stuff, I'm not too excited about keeping that around. --Trovatore 16:43, 29 November 2005 (UTC)[reply]

"Carrier" is relatively standard terminology. [1] [2] I don't know if it is

Personally I like it because it's short and descriptive. "Underlying set" is similarly descriptive, but a bit too clumsy to be used all the time. "Universe" is also short and descriptive, but descriptive in the wrong way. It comes with connotations of something huge that cannot be changed. --Hans Adler (talk) 07:50, 2 April 2008 (UTC)[reply]

Full stop as a notation for ∧

I suppose that somebody used . just because of inability to input the middle dot · (TeX: $\cdot$ ) character, which is used sometimes as a multiplication sign. May I replace full stops with middle dots? Incnis Mrsi (talk) 18:56, 1 April 2010 (UTC)[reply]