The following pages link to (Q5472331):
Displayed 4 items.
- Interactive error correction in implicative theories (Q899138) (← links)
- A single axiom for Boolean algebras (Q1800388) (← links)
- A class of sub-almost distributive lattices in an associate almost distributive lattice through a filter (Q4985573) (← links)
- Algebras from Semiconcepts in Rough Set Theory (Q6104470) (← links)