Quasi-Nelson; or, non-involutive Nelson algebras

DOI10.1007/978-3-030-52163-9_8zbMath1498.06024OpenAlexW3105252723MaRDI QIDQ2658305

Matthew Spinks, Umberto Rivieccio

Publication date: 19 March 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-52163-9_8

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25)

Related Items (4)

Negation and Implication in Quasi-Nelson Logic ⋮ Prelinearity in (quasi-)Nelson logic ⋮ Fragments of quasi-Nelson: residuation ⋮ Quasi-Nelson algebras and fragments

This page was built for publication: Quasi-Nelson; or, non-involutive Nelson algebras