The following pages link to (Q5556401):
Displaying 26 items.
- A glimpse of deductive systems in algebra (Q607435) (← links)
- Quasivarieties and congruence permutability of Łukasiewicz implication algebras (Q763305) (← links)
- Expansions of semi-Heyting algebras. I: Discriminator varieties (Q763318) (← links)
- Conditions for permutability of congruences in implication algebras (Q841165) (← links)
- Decomposability of free Łukasiewicz implication algebras (Q862351) (← links)
- Representation of cubic lattices by symmetric implication algebras (Q862981) (← links)
- Equational spectrum of Hilbert varieties (Q1035340) (← links)
- Topological representation for monadic implication algebras (Q1040206) (← links)
- Finite equational bases for finite algebras in a congruence-distributive equational class (Q1237798) (← links)
- Selfextensional logics with a distributive nearlattice term (Q1712939) (← links)
- An axiomatic survey of diagram lemmas for non-abelian group-like structures (Q1950640) (← links)
- The existence of states based on Glivenko semihoops (Q2085584) (← links)
- Finite distributive semilattices (Q2156415) (← links)
- Complete and atomic Tarski algebras (Q2274138) (← links)
- Hilbert algebras as implicative partial semilattices (Q2454702) (← links)
- Commutative objects, central morphisms and subtractors in subtractive categories (Q2690670) (← links)
- On Tarski algebras with a finite set of free generators (Q3130282) (← links)
- Quasi-modal operators on distributive nearlattices (Q4997890) (← links)
- Relation between Sheffer Stroke and Hilbert algebras (Q5077336) (← links)
- Study strong Sheffer stroke non-associative MV-algebras by fuzzy filters (Q5083842) (← links)
- Subordination Tarski algebras (Q5231280) (← links)
- On the logic of distributive nearlattices (Q6094160) (← links)
- Priestley-style duality for DN-algebras (Q6142013) (← links)
- Interval Sheffer stroke basic algebras and Yang-Baxter equation (Q6164210) (← links)
- Characterizations of near-Heyting algebras (Q6166630) (← links)
- Override and restricted union for partial functions (Q6595122) (← links)
