𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Basic Hoops: an Algebraic Study of Continuoust-norms

✍ Scribed by P. Aglianò; I. M. A. Ferreirim; F. Montagna


Book ID
106538966
Publisher
Springer Netherlands
Year
2007
Tongue
English
Weight
291 KB
Volume
87
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


An algebraic study of well-foundedness
✍ Robert Goldblatt 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 948 KB

A foundational algebra (~B, f, A) consists of a heinimorphism f on a Boolean algebra ~B with a greatest solution ~ tO the condition x < f(x). The quasi-variety of foundational algebras has a decidable equational theory, and generates the same variety as the complex algebras of structures (X,/~), whe