16 citations · 38 across the 5 of their papers we have counts for
6 papers
Relational correspondences for L-fuzzy rough approximations defined on De Morgan Heyting algebras
Jouni Järvinen, Michiro Kondo
We consider fuzzy rough sets defined on De Morgan Heyting algebras. We present a theorem that can be used to obtain several correspondence results between fuzzy rough sets and fuzz…
-normal residuated lattices
Saeed Rasouli, Michiro Kondo
The notion of -normal residuated lattice, as a class of residuated lattices in which every prime filter contains at most minimal prime filters, is introduced and studied. Be…
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…
Representing distributive lattices with Galois connections in terms of rough sets
Wojciech Dzik, Jouni Järvinen, Michiro Kondo
This paper studies expansions of bounded distributive lattices equipped with a Galois connection. We introduce GC-frames and canonical frames for these algebras. The complex algebr…
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.