Pages that link to "Item:Q3656764"
From MaRDI portal
The following pages link to Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic (Q3656764):
Displaying 21 items.
- Hoop twist-structures (Q334145) (← links)
- Partially undetermined many-valued events and their conditional probability (Q452350) (← links)
- Logic for abstract hoop twist-structures (Q720755) (← links)
- Algebraic semantics for Nelson's logic \(\mathcal{S}\) (Q1799291) (← links)
- On the representation of \(\mathbf{N4}\)-lattices (Q1826936) (← links)
- Residuated bilattices (Q1933771) (← links)
- A category equivalence for odd Sugihara monoids and its applications (Q1934971) (← links)
- Twist structures and Nelson conuclei (Q2157599) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- The subvariety of commutative residuated lattices represented by twist-products (Q2449445) (← links)
- Implicative twist-structures (Q2449455) (← links)
- Paraconsistent modal logics (Q2825416) (← links)
- Algebraic Semantics for Paraconsistent Nelson's Logic (Q4434609) (← links)
- Nelson’s logic 𝒮 (Q5022331) (← links)
- BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES (Q5107540) (← links)
- Idempotent residuated structures: Some category equivalences and their applications (Q5246960) (← links)
- Belnap Constants and Nelson Logic (Q5350349) (← links)
- OUP accepted manuscript (Q5894705) (← links)
- Varieties of K-lattices (Q6079407) (← links)
- Prelinearity in (quasi-)Nelson logic (Q6079417) (← links)
- Nelson conuclei and nuclei: the twist construction beyond involutivity (Q6636379) (← links)