Pages that link to "Item:Q5172134"
From MaRDI portal
The following pages link to Modal twist-structures over residuated lattices (Q5172134):
Displaying 8 items.
- Hoop twist-structures (Q334145) (← links)
- \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics (Q454381) (← links)
- Logic for abstract hoop twist-structures (Q720755) (← links)
- Swap structures semantics for Ivlev-like modal logics (Q2317515) (← links)
- Implicative twist-structures (Q2449455) (← links)
- Paraconsistent modal logics (Q2825416) (← links)
- Non-involutive twist-structures (Q3386908) (← links)
- Non-deterministic algebraization of logics by swap structures1 (Q3386911) (← links)