39 citations · 277 across the 27 of their papers we have counts for
6 papers · 1 filter
Nelson algebras, residuated lattices and rough sets: A survey
Jouni Järvinen, Sándor Radeleczki, Umberto Rivieccio
Over the past 50 years, Nelson algebras have been extensively studied by distinguished scholars as the algebraic counterpart of Nelson's constructive logic with strong negation. De…
Prime filter structures of pseudocomplemented Kleene algebras and representation by rough sets
Jouni Järvinen, Sándor Radeleczki
We introduce Kleene-Varlet spaces as partially ordered sets equipped with a polarity satisfying certain additional conditions. By applying Kleene-Varlet spaces, we prove that each…
Monteiro spaces and rough sets determined by quasiorder relations: Models for Nelson algebras
Jouni Järvinen, Sándor Radeleczki
Rough sets induced by quasiorders appear in several constructions using binary relations in computer science. In this paper, a structural characterisation of rough sets induced by…
Characterizing intermediate tense logics in terms of Galois connections
Wojciech Dzik, Jouni Järvinen, Michiro Kondo
We propose a uniform way of defining for every logic intermediate between intuitionistic and classical logics, the corresponding intermediate minimal tense logic ${\sf LK…
Intuitionistic logic with two Galois connections combined with Fischer Servi axioms
Wojciech Dzik, Jouni Järvinen, Michiro Kondo
Earlier, the authors introduced the logic IntGC, which is an extension of intuitionistic propositional logic by two rules of inference mimicking the performance of Galois connectio…
Intuitionistic logic with a Galois connection has the finite model property
Wojciech Dzik, Jouni Järvinen, Michiro Kondo
We show that the intuitionistic propositional logic with a Galois connection (IntGC), introduced by the authors, has the finite model property.