Re: Cactus Rules
Jon Awbrey <[email protected]> Sun, 21 Mar 2004 14:48:12 -0500
| Newsgroups | gmane.comp.inquiry,gmane.comp.misc.ontology.general |
|---|---|
| Message-ID | <[email protected]> |
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o CR. Note 16 o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o Table 12. Thematic Extensions: [p, q] -> [p, q, r] o---------o------------o-----------------o---------------------o | L_1 | L_2 | L_3 | L_4 | | | | | | | Decimal | Binary | Vector | Cactus | o---------o------------o-----------------o---------------------o | | p : 1 1 1 1 0 0 0 0 | | | | q : 1 1 0 0 1 1 0 0 | | | | r : 1 0 1 0 1 0 1 0 | | o---------o------------o-----------------o---------------------o | | | | | | q_85 | q_01010101 | 0 1 0 1 0 1 0 1 | ((r , ( ) )) | | | | | | | q_86 | q_01010110 | 0 1 0 1 0 1 1 0 | ((r , (p) (q) )) | | | | | | | q_89 | q_01011001 | 0 1 0 1 1 0 0 1 | ((r , (p) q )) | | | | | | | q_90 | q_01011010 | 0 1 0 1 1 0 1 0 | ((r , (p) )) | | | | | | | q_101 | q_01100101 | 0 1 1 0 0 1 0 1 | ((r , p (q) )) | | | | | | | q_102 | q_01100110 | 0 1 1 0 0 1 1 0 | ((r , (q) )) | | | | | | | q_105 | q_01101001 | 0 1 1 0 1 0 0 1 | ((r , (p , q) )) | | | | | | | q_106 | q_01101010 | 0 1 1 0 1 0 1 0 | ((r , (p q) )) | | | | | | | q_149 | q_10010101 | 1 0 0 1 0 1 0 1 | ((r , p q )) | | | | | | | q_150 | q_10010110 | 1 0 0 1 0 1 1 0 | ((r , ((p , q)) )) | | | | | | | q_153 | q_10011001 | 1 0 0 1 1 0 0 1 | ((r , q )) | | | | | | | q_154 | q_10011010 | 1 0 0 1 1 0 1 0 | ((r , (p (q)) )) | | | | | | | q_165 | q_10100101 | 1 0 1 0 0 1 0 1 | ((r , p )) | | | | | | | q_166 | q_10100110 | 1 0 1 0 0 1 1 0 | ((r , ((p) q) )) | | | | | | | q_169 | q_10101001 | 1 0 1 0 1 0 0 1 | ((r , ((p) (q)) )) | | | | | | | q_170 | q_10101010 | 1 0 1 0 1 0 1 0 | ((r , )) | | | | | | o---------o------------o-----------------o---------------------o Jon Awbrey o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o inquiry e-lab: http://stderr.org/pipermail/inquiry/ o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o