𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The commutator in equivalential algebras and Fregean varieties

✍ Scribed by Paweł M. Idziak; Katarzyna Słomczyńska; Andrzej Wroński


Publisher
Springer
Year
2011
Tongue
English
Weight
257 KB
Volume
65
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Commutative Algebra in the Mizar System
✍ Piotr Rudnicki; Christoph Schwarzweller; Andrzej Trybulec 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 369 KB

We report on the development of algebra in the Mizar system. This includes the construction of formal multivariate power series and polynomials as well as the definition of ideals up to a proof of the Hilbert basis theorem. We present how the algebraic structures are handled and how we inherited the