TWiki>
Mizar Web>MathematicsSubjectClassification>06>06E>06E30 (2007-01-04, MarcoRiccardi)EditAttach
Mizar Web>MathematicsSubjectClassification>06>06E>06E30 (2007-01-04, MarcoRiccardi)EditAttach06E30 Boolean algebras (Boolean rings) - Boolean functions
Primary classification
| # | Article | ||
|---|---|---|---|
| 1 | xboolean | On the Arithmetic of Boolean Values | Library Committee |
| 2 | bvfunc_1 | A Theory of Boolean Valued Functions and Partitions | Shunichi Kobayashi and Kui Jia |
| 3 | bvfunc_2 | A Theory of Boolean Valued Functions and Quantifiers with Respect to Partitions | Shunichi Kobayashi and Yatsuka Nakamura |
| 4 | bvfunc_3 | Predicate Calculus for Boolean Valued Functions, { I } | Shunichi Kobayashi and Yatsuka Nakamura |
| 5 | bvfunc_4 | Predicate Calculus for Boolean Valued Functions, II | Shunichi Kobayashi and Yatsuka Nakamura |
| 6 | bvfunc_5 | Propositional Calculus for Boolean Valued Functions, I | Shunichi Kobayashi and Yatsuka Nakamura |
| 7 | bvfunc_6 | Propositional Calculus for Boolean Valued Functions, II | Shunichi Kobayashi and Yatsuka Nakamura |
| 8 | bvfunc_7 | Propositional Calculus For Boolean Valued Functions, III | Shunichi Kobayashi |
| 9 | bvfunc_8 | Propositional Calculus For Boolean Valued Functions, IV | Shunichi Kobayashi |
| 10 | bvfunc_9 | Propositional Calculus for Boolean Valued Functions, { V } | Shunichi Kobayashi |
| 11 | bvfunc10 | Propositional Calculus for Boolean Valued Functions, VI | Shunichi Kobayashi |
| 12 | bvfunc11 | Predicate Calculus for Boolean Valued Functions, III | Shunichi Kobayashi and Yatsuka Nakamura |
| 13 | bvfunc13 | Predicate Calculus for Boolean Valued Functions, V | Shunichi Kobayashi and Yatsuka Nakamura |
| 14 | bvfunc14 | Predicate Calculus for Boolean Valued Functions, { VI } | Shunichi Kobayashi |
| 15 | bvfunc24 | Predicate Calculus for Boolean Valued Functions, (12) | Shunichi Kobayashi |
| 16 | bvfunc25 | Propositional Calculus for Boolean Valued Functions, {VII } | Shunichi Kobayashi |
| 17 | bvfunc26 | Propositional Calculus for Boolean Valued Functions, {VIII} | Shunichi Kobayashi |
Secondary classification
| # | Article | ||
|---|---|---|---|
| WebForm | |
|---|---|
| TopicClassification | MathSC2000 |
| ProjectGroup? | |
| ImplementationDate? | N/A |
Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r1 - 2007-01-04 - 09:47:07 - MarcoRiccardi
 |
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding TWiki? Send feedback