The following pages link to (Q5293965):
Displaying 13 items.
- On varieties of basic algebras (Q344073) (← links)
- Spaces of abstract events (Q362991) (← links)
- The class of algebraically closed p-semilattices is finitely axiomatizable (Q387623) (← links)
- A non-associative generalization of Hájek's BL-algebras (Q409739) (← links)
- Quasi-orthomodular posets and weak BCK-algebras. (Q466880) (← links)
- A note on congruences of semilattices with sectionally finite height. (Q471164) (← links)
- \(\sigma\)-ideals in distributive pseudocomplemented residuated lattices (Q521632) (← links)
- A glimpse of deductive systems in algebra (Q607435) (← links)
- Algebraic axiomatization of tense intuitionistic logic (Q657427) (← links)
- The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras (Q712687) (← links)
- Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic (Q780272) (← links)
- Sobriety and spatiality in varieties of algebras (Q835242) (← links)
- The logic of distributive nearlattices (Q1797923) (← links)