The following pages link to (Q3666901):
Displaying 25 items.
- Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts (Q422484) (← links)
- On the variety generated by bounded pseudo-BCK-algebras (Q616842) (← links)
- Selfextensional logics with a conjunction (Q865045) (← links)
- Constructive logic with strong negation is a substructural logic. I (Q931408) (← links)
- Boolean representation of bounded BCK-algebras (Q934913) (← links)
- Semisimplicity and the discriminator in bounded BCK-algebras (Q992009) (← links)
- Impossibility of defining the class of \(L_ 0\)-algebras by means of identities (Q1078563) (← links)
- The poset structure of positive implicative BCK-algebras (Q1338953) (← links)
- On the structure of varieties with equationally definable principal congruences. III (Q1342132) (← links)
- Varieties of commutative residuated integral pomonoids and their residuation subreducts (Q1355602) (← links)
- Convex congruences (Q1746798) (← links)
- Congruences, ideals and annihilators in standard QBCC-algebras (Q1767427) (← links)
- Implicit connectives of algebraizable logics (Q1770605) (← links)
- Algebraizable logics with a strong conjunction and their semi-lattice based companions (Q1938393) (← links)
- Splittings in subreducts of hoops (Q2082253) (← links)
- On relative principal congruences in term quasivarieties (Q2106878) (← links)
- Spectral properties of cBCK-algebras (Q2153923) (← links)
- Bounded BCK-algebras of fractions and maximal BCK-algebra of quotients (Q2392560) (← links)
- Decomposability of the finitely generated free hoop residuation algebra (Q2426730) (← links)
- On varieties of biresiduation algebras (Q2433109) (← links)
- Generalized derivations of BCC-algebras. (Q2448825) (← links)
- Basic hoops: an algebraic study of continuous t-norms (Q2462673) (← links)
- Formal systems of fuzzy logic and their fragments (Q2463481) (← links)
- (Q4680221) (← links)
- (Q4792080) (← links)
