30 citations · 30 across the 1 of their papers we have counts for
1 paper
Jouni Järvinen, Piero Pagliani, Sándor Radeleczki
In this paper, we give an algebraic completeness theorem for constructive logic with strong negation in terms of finite rough set-based Nelson algebras determined by quasiorders. W…