03C05 5 (positive implicative) ideal 1 03B05 1 03C60 1 03G25 1 06F35 1 08A70 1 08B05 1 08B15 1 08B20 1 20M05 1 Clone of Boolean operations 1 Colored term 1 Galois connection 1 I-quasi-valuation map 1 Morita equivalence 1 PI-quasi-valuation map 1 S-quasi-valuation map 1 Steinitz number 1 \(\mathfrak{g}\)-dimonoid 1 canonical form 1 deduction of identities 1 dimonoid 1 free algebra 1 identity 1 locally matrix algebra 1 multi-hypersubstitution 1