- Meataxe64: High performance linear algebra over finite fields
Recommendations
Commutative pseudo-equality algebras
Pseudo-equality algebras were initially introduced by Jenei and Kóródi as a possible algebraic semantic for fuzzy-type theory, and they have been revised by Dvureăźenskij and Zahiri under the name of JK-algebras. In this paper, we define and study the ...
Congruences and ideals in pseudo effect algebras as total algebras
Congruences and ideals in pseudo-effect algebras and their total algebra versions are studied. It is shown that every congruence of the total algebra induces a Riesz congruence in the corresponding pseudo-effect algebra. Conversely, to every normal ...
Strong Pseudo-De Morgan Algebras and Pseudo-Involutive Psuedo-BCK Algebras
AICI '10: Proceedings of the 2010 International Conference on Artificial Intelligence and Computational Intelligence - Volume 02The well-known R0 implication is developed to pseudo-De Morgan algebras, which is called generalized pseudo-R0 implication. The notion of strong pseudo-De Morgan algebras is introduced, and its elementary properties are discussed. Secondly, two ...
Comments