✦ 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
DOI: 10.1007/s00012-013-0224-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Multicategories and varieties of many-so

Multicategories and varieties of many-sorted algebras

✍ S. N. Tronin 📂 Article 📅 2008 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 254 KB

Many-sorted algebras in congruence modul

Many-sorted algebras in congruence modular varieties

✍ C. A. Wolf 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 607 KB

On many-sorted algebraic closure operato

On many-sorted algebraic closure operators

✍ 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

Formal series over sorted algebras

✍ Werner Kuich 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 241 KB

A Many-Sorted Natural Deduction

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

Many-Sorted Quantificationby Nicholas Re

Many-Sorted Quantificationby Nicholas Rescher

✍ Review by: H. Arnold Schmidt 📂 Article 📅 1966 🏛 Association for Symbolic Logic 🌐 English ⚖ 309 KB