Algebraic semantics for Nelson's logic \(\mathcal{S}\)

DOI10.1007/978-3-662-57669-4_16OpenAlexW2811391427MaRDI QIDQ1799291

Umberto Rivieccio, João Marcos, Matthew Spinks, Thiago Nascimento

Publication date: 18 October 2018

Full work available at URL: https://arxiv.org/abs/1803.10847

zbMATH Keywords

algebraic semanticsalgebraic logicinvolutive residuated latticesNelson's logics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logical aspects of lattices and related structures (03G10)

Related Items (5)

Representation of De Morgan and (semi-)Kleene lattices ⋮ IMPROVING STRONG NEGATION ⋮ Nelson algebras, residuated lattices and rough sets: A survey ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ Quasi-Nelson algebras

This page was built for publication: Algebraic semantics for Nelson's logic \(\mathcal{S}\)