On the relation of negations in Nelson algebras

DOI10.4467/20842589RM.21.006.14374MaRDI QIDQ5025698zbMATH OpenOpenAlexFDO

Authors Conrado Gomez, Miguel Andrés Marcos, Hernán Javier San Martín

Publication date 2 February 2022

Full work available at URL https://doi.org/10.4467/20842589rm.21.006.14374

zbMATH Keywords

Kleene algebrasnegationsNelson algebraspseudocomplemented distributive lattices

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Recommendations

• Characterisations of Nelson algebras
• Semi-intuitionistic logic with strong negation
• Fragments of quasi-Nelson: two negations
• Remarks on special lattices and related constructive logics with strong negation
• Nelson's negation on the base of weaker versions of intuitionistic negation

Cited in

(7)

• Kleene algebras with implication
• Construction of Nelson algebras
• The characterization of Nelson algebras by Sheffer stroke
• A new categorical equivalence for Stone algebras
• Pastable Kleene-based algebras
• Discrete dualities for Monteiro's tetravalent modal algebras
• Tense operators on Kleene algebras with intuitionistic negation

This page was built for publication: On the relation of negations in Nelson algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5025698)