This paper explores the theory of Nelson algebras as an algebraic counterpart to Nelson's constructive logic with strong negation. It delves into generalizations like N4-lattices corresponding to paraconsistent versions of Nelson's logic. The study highlights connections with other algebraic models of non-classical logics and applications to areas like duality and rough set theory. The representation theorem states that each Nelson algebra is isomorphic to a subalgebra of a rough set-based Nelson algebra induced by a quasiorder. Additionally, it discusses the completeness result with the finite model property for Nelson logic.
To Another Language
from source content
arxiv.org
Thông tin chi tiết chính được chắt lọc từ
by Joun... lúc arxiv.org 03-05-2024
https://arxiv.org/pdf/2402.02606.pdfYêu cầu sâu hơn