The following pages link to (Q5406035):
Displayed 10 items.
- Densification of FL chains via residuated frames (Q271692) (← links)
- Basic substructural core fuzzy logics and their extensions: mianorm-based logics (Q679802) (← links)
- A note on standard completeness for some extensions of uninorm logic (Q894654) (← links)
- Weakening-free, non-associative fuzzy logics: micanorm-based logics (Q1677042) (← links)
- Involutive basic substructural core fuzzy logics: involutive mianorm-based logics (Q1697513) (← links)
- Density revisited (Q1699744) (← links)
- Implicational (semilinear) logics. III: Completeness properties (Q1745358) (← links)
- Group representation for even and odd involutive commutative residuated chains (Q2157596) (← links)
- Word problem for knotted residuated lattices. (Q2254319) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)