Pages that link to "Item:Q3519801"
From MaRDI portal
The following pages link to ASSERTIONALLY EQUIVALENT QUASIVARIETIES (Q3519801):
Displayed 4 items.
- 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)