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

Applying relation algebra and RelViewto solve problems on orders and lattices

โœ Scribed by Rudolf Berghammer

Book ID
105930902
Publisher
Springer-Verlag
Year
2008
Tongue
English
Weight
601 KB
Volume
45
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

On the Kronecker Problem and related pro
On the Kronecker Problem and related problems of Linear Algebra
โœ Alexander G. Zavadskij ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 459 KB

We consider some classification problems of Linear Algebra related closely to the classical Kronecker Problem on pairs of linear maps between two finite-dimensional vector spaces. As shown by Djokoviฤ‡ and Sergeichuk, the Kronecker's solution is extended to the cases of pairs of semilinear maps and (

Residuated lattices arising from equival
Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras
โœ Thomas Vetterlein ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 185 KB

## Abstract Logics designed to deal with vague statements typically allow algebraic semantics such that propositions are interpreted by elements of residuated lattices. The structure of these algebras is in general still unknown, and in the cases that a detailed description is available, to underst