Talk:Two-element Boolean algebra: Difference between revisions

Revision as of 07:50, 2 April 2008

Revision as of 18:56, 1 April 2010

Line 1:

{{maths rating|field=foundations|importance=low|class=start}}

== 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]].

{{unsigned|132.181.160.61|07:03, 23 October 2005 (UTC)}}

=="carrier"==

Line 9 ⟶ 10:

:"Carrier" is relatively standard terminology. [http://scholar.google.com/scholar?q=%22universal+algebra%22+carrier] [http://scholar.google.com/scholar?q=%22model+theory%22+carrier] 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. --[[User:Hans Adler|Hans Adler]] ([[User talk:Hans Adler|talk]]) 07:50, 2 April 2008 (UTC)

== Full stop as a notation for ∧ ==

I suppose that somebody used [[full stop|<span style="background-color:#FFCCCC; color:#000000; padding:2px; font-weight: 900">.</span>]] just because of inability to input the middle dot '''[[·]]''' (TeX: <math>\cdot</math>) character, which is used sometimes as a multiplication sign. May I replace full stops with middle dots? [[User:Incnis Mrsi|Incnis Mrsi]] ([[User talk:Incnis Mrsi|talk]]) 18:56, 1 April 2010 (UTC)