๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Mechanized Algebraic Operations (MAO)

โœ Scribed by Arnold Rom

Publisher
Springer Netherlands
Year
1970
Tongue
English
Weight
921 KB
Volume
1
Category
Article
ISSN
1572-9478

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Semantics for Algebraic Operations
Semantics for Algebraic Operations
โœ Gordon Plotkin; John Power ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 170 KB

Given a category C with finite products and a strong monad T on C, we investigate axioms under which an ObC-indexed family of operations of the form ฮฑ x : (T x) n -โ†’ T x provides a definitive semantics for algebraic operations added to the computational ฮป-calculus. We recall a definition for which w

Fuzzy data modeling and algebraic operat
Fuzzy data modeling and algebraic operations in XML
โœ Z. M. Ma; Jian Liu; Li Yan ๐Ÿ“‚ Article ๐Ÿ“… 2010 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 169 KB

XML has been the de-facto standard of information representation and exchange over the web. As the next generation of the Web language, XML is straightforwardly usable over the Internet. At the same time, the real world is filled with imprecision and uncertainty. However, the existed works fall shor

Algebraic operations on a class of Mamda
Algebraic operations on a class of Mamdani-controllers
โœ Ekkehard Hennebach; Werner Dilger ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 529 KB

Semantically, a fuzzy-controller arises from a fuzzy-logical model. On the other hand, being considered structurally its purpose is to serve as a transfer function in feedback conlxol loops. If one stresses the latter point of view the question under which conditions algebraic operations on fuzzy-co