Pages that link to "Item:Q993324"
From MaRDI portal
The following pages link to Canonicity in subvarieties of BL-algebras (Q993324):
Displaying 8 items.
- Proof theory for locally finite many-valued logics: semi-projective logics (Q385019) (← links)
- \(n\)-contractive BL-logics (Q535139) (← links)
- Canonical extensions for congruential logics with the deduction theorem (Q636384) (← links)
- On some questions concerning the axiomatisation of WNM-algebras and their subvarieties (Q1697331) (← links)
- Varieties of BL-algebras. II (Q1790601) (← links)
- Representation of BL-algebras with finite independent spectrum (Q2013839) (← links)
- Canonical extensions and profinite completions of semilattices and lattices (Q2510378) (← links)
- (Q3632249) (← links)