Pages that link to "Item:Q1826936"
From MaRDI portal
The following pages link to On the representation of \(\mathbf{N4}\)-lattices (Q1826936):
Displaying 27 items.
- A categorical equivalence motivated by Kalman's construction (Q284216) (← links)
- Hoop twist-structures (Q334145) (← links)
- Bilattices with implications (Q368472) (← links)
- \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics (Q454381) (← links)
- Priestley duality for bilattices (Q454389) (← links)
- Varieties of interlaced bilattices (Q647327) (← links)
- Priestley duality for paraconsistent Nelson's logic (Q708928) (← links)
- The class of extensions of Nelson's paraconsistent logic (Q813085) (← links)
- Nelson's negation on the base of weaker versions of intuitionistic negation (Q813089) (← links)
- Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation (Q865046) (← links)
- Residuated bilattices (Q1933771) (← links)
- Representation of De Morgan and (semi-)Kleene lattices (Q2153649) (← links)
- A duality for two-sorted lattices (Q2156992) (← links)
- Twist structures and Nelson conuclei (Q2157599) (← links)
- An unexpected Boolean connective (Q2169126) (← links)
- Categories of models of \(\mathbf{R}\)-mingle (Q2311212) (← links)
- Compatibly involutive residuated lattices and the Nelson identity (Q2317520) (← links)
- Quasi-Nelson algebras (Q2333675) (← links)
- Semi-Nelson algebras (Q2413410) (← links)
- The subvariety of commutative residuated lattices represented by twist-products (Q2449445) (← links)
- Implicative twist-structures (Q2449455) (← links)
- Paraconsistent Modal Logics (Q2825416) (← links)
- The lattice of Belnapian modal logics: Special extensions and counterparts (Q2987755) (← links)
- Natural deduction systems for Nelson's paraconsistent logic and its neighbors (Q3647236) (← links)
- On deductive bases for paraconsistent answer set semantics (Q4583312) (← links)
- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic (Q4586423) (← links)
- An algebraic investigation of the connexive logic \(\mathsf{C}\) (Q6127184) (← links)
