Pages that link to "Item:Q3519801"
From MaRDI portal
The following pages link to ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801):
Displayed 7 items.
- Joins and subdirect products of varieties (Q634765) (← links)
- Contextual deduction theorems (Q647412) (← links)
- Semisimplicity and the discriminator in bounded BCK-algebras (Q992009) (← links)
- Constructive logic with strong negation is a substructural logic. II (Q1005940) (← links)
- Willem Blok's contribution to abstract algebraic logic (Q2433093) (← links)
- Beyond Rasiowa's algebraic approach to non-classical logics (Q2498364) (← links)
- Quasi-subtractive varieties (Q3107353) (← links)