Talk:Two-element Boolean algebra

This is an old revision of this page, as edited by SatyrBot (talk | contribs) at 05:44, 31 July 2007 (SatyrBot auto-adding tag to talk page. See User:SatyrBot/Current project). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Latest comment: 19 years ago by Trovatore in topic "carrier"

Template:Logic2

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.

"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