✦ LIBER ✦

Unification in Boolean rings

✍ Scribed by Ursula Martin; Tobias Nipkow

Publisher: Springer Netherlands
Year: 1988
Tongue: English
Weight: 635 KB
Volume: 4
Category: Article
ISSN: 0168-7433
DOI: 10.1007/bf00297246

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Rings in boolean algebras

✍ C.H. Cunkle; S. Rudeanu 📂 Article 📅 1974 🏛 Elsevier Science 🌐 English ⚖ 418 KB

Studxes of various algebraic structures which can be defined over a Boolean algebra by means of Boolean operations have been made by Bernstein [1,2], Cunkle [3], Elliott [4], Frink [6, 7], Gratzer [8], Gratzer and Schmidt [9], Rudeanu [ 10, 11 ], Valdyanathaswamy [12], Wiener [13], and others. The f

Witt rings and associated Boolean rings

✍ Joseph L Yucas 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 562 KB

The global dimension of Boolean rings

✍ R.S Pierce 📂 Article 📅 1967 🏛 Elsevier Science 🌐 English ⚖ 362 KB

Boolean Rings of Sets with Finite Subcov

Boolean Rings of Sets with Finite Subcovering Property

✍ Alexander Abian 📂 Article 📅 1970 🏛 John Wiley and Sons 🌐 English ⚖ 105 KB 👁 1 views

Based on the above Definition, we prove the following Lemmas.

Unique solutions of Boolean ring equatio

Unique solutions of Boolean ring equations

✍ Sergiu Rudeanu 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 122 KB

Syntactic Unification as a Geometric Ope

Syntactic Unification as a Geometric Operation in Free Modules over certain Rings

✍ R.N. Banerjee; A. Bujosa 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 243 KB

We have shown elsewhere how to introduce a concept of syntactic unification when terms are taken as the elements in a free module and established the link between both unification concepts showing that, under certain reasonable hypotheses, they are completely equivalent. Here we show how syntactic u