𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Many-sorted and single-sorted algebras

✍ Scribed by Mućka, Anna; Romanowska, Anna B.; Smith, Jonathan D. H.


Book ID
120259923
Publisher
Springer
Year
2013
Tongue
English
Weight
313 KB
Volume
69
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


On many-sorted algebraic closure operato
✍ Juan Climent Vidal; Juan Soliveres Tur 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 96 KB

## Abstract A theorem of Birkhoff‐Frink asserts that every algebraic closure operator on an ordinary set arises, from some algebraic structure on the set, as the corresponding generated subalgebra operator. However, for many‐sorted sets, i.e., indexed families of sets, such a theorem is not longer

A Many-Sorted Natural Deduction
✍ A. Cimatti; F. Giunchiglia; R. W. Weyhrauch 📂 Article 📅 1998 🏛 John Wiley and Sons 🌐 English ⚖ 157 KB