Jouni Järvinen
jjarvine@utu.fi ORCID identifier: https://orcid.org/0000-0002-8729-8633 |
Publications 
2 of 4
- REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETSInformation Completeness in Nelson Algebras of Rough Sets Induced by Quasiorders (2018)
- Journal of the Australian Mathematical SocietyStudia Logica
(A1 Refereed original research article in a scientific journal) - Tolerances Induced by Irredundant CoveringsIntuitionistic modal logic with a Galois connection has the finite model property (2015)
- Fundamenta InformaticaeLogic Journal of the IGPL
(A1 Refereed original research article in a scientific journal) - Characterizing intermediate tense logics in terms of Galois connections (2014)
- Logic Journal of the IGPLAlgebra Universalis
(A1 Refereed original research article in a scientific journal) - Monteiro Spaces and Rough Sets Determined by Quasiorder Relations: Models for Nelson algebras (2014)
- Fundamenta Informaticae
(A1 Refereed original research article in a scientific journal) - Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets (2014)
- International Journal of Approximate Reasoning
(A1 Refereed original research article in a scientific journal) - Rough sets determined by tolerances (2014)
- International Journal of Approximate Reasoning
(A1 Refereed original research article in a scientific journal) - (2013)
(A1 Refereed original research article in a scientific journal) - (2013)
(A1 Refereed original research article in a scientific journal) - Representation of Nelson algebras by rough sets determined by quasiorders (2011)
(A1 Refereed original research article in a scientific journal) - Intuitionistic propositional logic with Galois connections (2010)
- Logic Journal of the IGPL
(A1 Refereed original research article in a scientific journal)
UTU Research Portal