Quasi-Nelson algebras and fragments

DOI10.1017/S0960129521000049MaRDI QIDQ5022928zbMATH OpenOpenAlexFDO

Authors Umberto Rivieccio, Ramon Jansana

Publication date 20 January 2022

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129521000049

zbMATH Keywords

(quasi-)Kleene algebras(quasi-)Nelson algebrastwist-structuresweakly pseudo-complemented

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Recommendations

• Fragments of quasi-Nelson: the algebraizable core
• Fragments of quasi-Nelson: two negations
• Quasi-Nelson algebras
• Quasi-Nelson; or, non-involutive Nelson algebras
• Algebraic semantics for quasi-Nelson logic

Cites work

• Algebraic Semantics for Paraconsistent Nelson's Logic
• Algebraic semantics for quasi-Nelson logic
• Algebraizable logics
• An algebraic approach to non-classical logics
• Bounded lattice expansions
• Compatibly involutive residuated lattices and the Nelson identity
• Constructible falsity
• Constructive logic with strong negation is a substructural logic. I
• Fragments of quasi-Nelson: two negations
• FREGEAN VARIETIES
• scientific article; zbMATH DE number 120346 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 3598539 (Why is no real title available?)
• Implicative twist-structures
• Information processing and management of uncertainty in knowledge-based systems. 18th international conference, IPMU 2020, Lisbon, Portugal, June 15--19, 2020. Proceedings. Part I
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• On the structure of varieties with equationally definable principal congruences. III
• Quasi-Nelson algebras
• Quasi-Nelson; or, non-involutive Nelson algebras
• Representation and duality for Hilbert algebras
• Representation of De Morgan and (semi-)Kleene lattices
• Residuated lattices. An algebraic glimpse at substructural logics
• Semi-de Morgan algebras

Cited in

(8)

• Constructive logic with strong negation is a substructural logic. II
• Quasi-Nelson algebras
• Fragments of quasi-Nelson: residuation
• Two Dualities for Weakly Pseudo-complemented quasi-Kleene Algebras
• Nelson algebras, residuated lattices and rough sets: A survey
• Intuitionistic modal algebras
• Nelson conuclei and nuclei: the twist construction beyond involutivity
• The characterization of Nelson algebras by Sheffer stroke

This page was built for publication: Quasi-Nelson algebras and fragments

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