On the representation of \(\mathbf{N4}\)-lattices
From MaRDI portal
Publication:1826936
DOI10.1023/B:STUD.0000032104.14199.08zbMath1047.03050MaRDI QIDQ1826936
Publication date: 6 August 2004
Published in: Studia Logica (Search for Journal in Brave)
Related Items (29)
A categorical equivalence motivated by Kalman's construction ⋮ Representation of De Morgan and (semi-)Kleene lattices ⋮ Hoop twist-structures ⋮ A duality for two-sorted lattices ⋮ Twist structures and Nelson conuclei ⋮ Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ An unexpected Boolean connective ⋮ Bilattices with implications ⋮ On deductive bases for paraconsistent answer set semantics ⋮ Semi-Nelson algebras ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Residuated bilattices ⋮ Belnap Constants and Nelson Logic ⋮ Fragments of quasi-Nelson: residuation ⋮ An algebraic investigation of the connexive logic \(\mathsf{C}\) ⋮ Varieties of interlaced bilattices ⋮ \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics ⋮ Priestley duality for bilattices ⋮ The lattice of Belnapian modal logics: Special extensions and counterparts ⋮ The subvariety of commutative residuated lattices represented by twist-products ⋮ Implicative twist-structures ⋮ Priestley duality for paraconsistent Nelson's logic ⋮ Paraconsistent Modal Logics ⋮ Categories of models of \(\mathbf{R}\)-mingle ⋮ Natural deduction systems for Nelson's paraconsistent logic and its neighbors ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ Quasi-Nelson algebras ⋮ The class of extensions of Nelson's paraconsistent logic ⋮ Nelson's negation on the base of weaker versions of intuitionistic negation
This page was built for publication: On the representation of \(\mathbf{N4}\)-lattices
