Mathematical Structures: History of Peirce algebras

# History of Peirce algebras

HomePage | RecentChanges | Login

 Revision 2 . . August 4, 2004 12:38 pm by Jipsen Revision 1 . . July 10, 2004 10:47 am by Jipsen

Difference (from prior major revision) (no other diffs)

Changed: 28,30c28,29
 \Large Name of class \quad\href{http://math.chapman.edu/cgi-bin/structures?action=edit;id=Template}{edit} % Note: replace "Template" with Name_of_class in previous line
 \Large Peirce algebras \quad\href{http://math.chapman.edu/cgi-bin/structures?action=edit;id=Peirce_algebras}{edit}

Changed: 32c31
 \abbreviation{Abbr}
 \abbreviation{PeirceA}

Changed: 35,36c34
 A ... is a structure $\mathbf{A}=\langle A,...\rangle$ of type $\langle ...\rangle$ such that
 A Peirce algebra is a 2-sorted structure $\mathbf{A}=\langle \mathbf R,\mathbf B,^c\rangle$ such that

Changed: 38c36
 $\langle A,...\rangle$ is a \href{Name_of_class.pdf}{name of class}
 $\mathbf R=\langle R,\vee,0,\wedge,1,\neg,\circ,^\smile,e\rangle$ is a \href{Relation_algebras.pdf}{relation algebra}

Changed: 40c38
 $op_1$ is (name of property): $axiom_1$
 $\mathbf B=\langle B,\vee,0,\wedge,1,\neg,f_r\ (r\in R)\rangle$ is a \href{Boolean_modules_over_a_relation_algebra.pdf}{Boolean module over $\mathbf R$}

Changed: 42c40
 $op_2$ is ...: $...$
 $^c:B\to R$ is cylindrification: $f_{x^c}(1)=x$ and $f_r(1)^c=f_r(1)$

HomePage | RecentChanges | Login
Search: