Quasi-Nelson algebras and fragments

DOI10.1017/S0960129521000049OpenAlexW3160119527MaRDI QIDQ5022928

Ramon Jansana, Umberto Rivieccio

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

twist-structures(quasi-)Kleene algebras(quasi-)Nelson algebrasweakly pseudo-complemented

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Related Items (1)

Fragments of quasi-Nelson: residuation

Cites Work

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

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