The following pages link to (Q4170718):
Displaying 12 items.
- On some categories of involutive centered residuated lattices (Q1005951) (← links)
- Representation of De Morgan and (semi-)Kleene lattices (Q2153649) (← links)
- Twist structures and Nelson conuclei (Q2157599) (← links)
- Categories of models of \(\mathbf{R}\)-mingle (Q2311212) (← links)
- Kleene algebras with implication (Q2362883) (← links)
- Kleene algebras and logic: Boolean and rough set representations, 3-valued, rough set and perp semantics (Q2363497) (← links)
- The subvariety of commutative residuated lattices represented by twist-products (Q2449445) (← links)
- A family of genuine and non-algebraisable C-systems (Q5000136) (← links)
- SOME MODEL-THEORETIC RESULTS ON THE 3-VALUED PARACONSISTENT FIRST-ORDER LOGIC <b>QCIORE</b> (Q5001546) (← links)
- Twist-Valued Models for Three-Valued Paraconsistent Set Theory (Q5013621) (← links)
- Belnap Constants and Nelson Logic (Q5350349) (← links)
- Tense operators on distributive lattices with implication (Q6115855) (← links)
