39 citations · 182 across the 24 of their papers we have counts for
1 paper · 2 filters
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…