Concepedia

Jari Kortelainen

JK

7

Publications

259

Citations

7

H-Index

1994

Active since

Affiliations

University of Turku(Current)

Turku Centre for Computer Science

Tokyo Denki University

Lappeenranta-Lahti University of Technology

Jari Kortelainen is an author at University of Turku specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFuzzy LogicFormal MethodsComputer ScienceLanguageSemanticsInformationLinguisticsSoftware Design

Publications per year

1994–2013

7

Publications

7

On relationship between modified sets, topological spaces and rough sets

Jari Kortelainen · Fuzzy Sets and Systems · 1994 · 131 citations

Rough Sets, Extremal Set Theory, Set-theoretic Topology +2

Logics from Galois connections

Jouni Järvinen, Michiro Kondo, Jari Kortelainen · International Journal of Approximate Reasoning · 2008 · 31 citations

Algebraic Logic, Non-classical Logic, Automated Reasoning +2

A unifying study between modal-like operators, topologies and fuzzy sets

Jouni Järvinen, Jari Kortelainen · Fuzzy Sets and Systems · 2007 · 26 citations

Fuzzy Logic, Engineering, Fuzzy Computing +6

Patrik Eklund, M.A. Galán, Robert Helgesson et al. · Fuzzy Sets and Systems · 2013 · 25 citations

Modal-Like Operators in Boolean Lattices, Galois Connections and Fixed Points

Jouni Järvinen, Michiro Kondo, Jari Kortelainen · Fundamenta Informaticae · 2007 · 21 citations

Lattice (Order), Linguistic Modifiers, Fuzzy Logic +15

Rows per page

1–5 of 7