Pages that link to "Item:Q1799291"
From MaRDI portal
The following pages link to Algebraic semantics for Nelson's logic \(\mathcal{S}\) (Q1799291):
Displaying 12 items.
- Semi-intuitionistic logic with strong negation (Q1743996) (← links)
- Representation of De Morgan and (semi-)Kleene lattices (Q2153649) (← links)
- Algebraic semantics for quasi-Nelson logic (Q2303609) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Quasi-Nelson algebras (Q2333675) (← links)
- An algebra and a logic for \(NC^ 1\) (Q2638772) (← links)
- Residuated Lattices as an Algebraic Semantics for Paraconsistent Nelson's Logic (Q3656764) (← links)
- Algebraic Semantics for Paraconsistent Nelson's Logic (Q4434609) (← links)
- (Q4715441) (← links)
- Nelson’s logic 𝒮 (Q5022331) (← links)
- IMPROVING STRONG NEGATION (Q6051428) (← links)
- Algebraic Semantics for Nelson's Logic S (Q6299716) (← links)