Results 281 to 289 of about 4,125 (289)

On the definition and the representability of quasi‐polyadic equality algebras

Mathematical Logic Quarterly, 2016
We show that the usual axiom system of quasi polyadic equality algebras is strongly redundant. Then, so called non‐commutative quasi‐polyadic equality algebras are introduced (), in which, among others, the commutativity of cylindrifications is dropped.
openaire   +2 more sources

Pseudo-equality algebras and residuated posets

J. Multiple Valued Log. Soft Comput., 2020
Summary: In this paper, we study the relationship between pseudo-equality algebras and quantum \(B\)-algebras and the relationship between pseudoequality algebras and residuated posets. Also, we present some properties of residuated posets and get a one-to-one correspondence between the congruences and normal filters in a residuated poset. We introduce
openaire   +2 more sources

Internal states on equality algebras

Soft Computing, 2014
Lavinia Corina Ciungu, Ciungu Lavinia Corina   +1 more
exaly  

Commutative pseudo-equality algebras

Soft Computing, 2016
Lavinia Corina Ciungu, Ciungu Lavinia Corina   +1 more
exaly  

On the C*-valued triangle equality and inequality in Hilbert C*-modules

Acta Mathematica Hungarica, 2008
Ljiljana Arambasić, Rajna Rajic
exaly  

The Triangle Equality in Hilbert A-modules

Russian Mathematics, 2019
M A Pliev
exaly  

Implicative equality algebras and annihilators in equality algebras

Journal of Discrete Mathematical Sciences and Cryptography
M Mohseni Takallo, R A Borzooei, Young Bae Jun   +2 more
exaly  

Local and locally finite equality algebras

2018
exaly  

Partial algebra + order-sorted algebra = galactic algebra

2005
exaly