Jouni Järvinen
jjarvine@utu.fi |
2 of 4
- REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS (2018)
- Journal of the Australian Mathematical Society
- Tolerances Induced by Irredundant Coverings (2015)
- Fundamenta Informaticae
- Characterizing intermediate tense logics in terms of Galois connections (2014)
- Logic Journal of the IGPL
- Monteiro Spaces and Rough Sets Determined by Quasiorder Relations: Models for Nelson algebras (2014)
- Fundamenta Informaticae
- Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets (2014)
- International Journal of Approximate Reasoning
- Rough sets determined by tolerances (2014)
- International Journal of Approximate Reasoning
- Information Completeness in Nelson Algebras of Rough Sets Induced by Quasiorders (2013)
- Studia Logica
- Intuitionistic modal logic with a Galois connection has the finite model property (2013)
- Logic Journal of the IGPL
- Representation of Nelson algebras by rough sets determined by quasiorders (2011)
- Algebra Universalis
- Intuitionistic propositional logic with Galois connections (2010)
- Logic Journal of the IGPL
UTU Research Portal