Jouni Järvinen
jjarvine@utu.fi ORCID-tunniste: https://orcid.org/0000-0002-8729-8633 |
Julkaisut 
2/4
- REPRESENTING REGULAR PSEUDOCOMPLEMENTED KLEENE ALGEBRAS BY TOLERANCE-BASED ROUGH SETS (2018)
- Journal of the Australian Mathematical Society
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Tolerances Induced by Irredundant Coverings (2015)
- Fundamenta Informaticae
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Characterizing intermediate tense logics in terms of Galois connections (2014)
- Logic Journal of the IGPL
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Monteiro Spaces and Rough Sets Determined by Quasiorder Relations: Models for Nelson algebras (2014)
- Fundamenta Informaticae
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets (2014)
- International Journal of Approximate Reasoning
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Rough sets determined by tolerances (2014)
- International Journal of Approximate Reasoning
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Information Completeness in Nelson Algebras of Rough Sets Induced by Quasiorders (2013)
- Studia Logica
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Intuitionistic modal logic with a Galois connection has the finite model property (2013)
- Logic Journal of the IGPL
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Representation of Nelson algebras by rough sets determined by quasiorders (2011)
- Algebra Universalis
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä ) - Intuitionistic propositional logic with Galois connections (2010)
- Logic Journal of the IGPL
(A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä )
Turun yliopiston Tutkimustietojärjestelmän portaali