Information for students, faculty and staff regarding COVID-19. (Updated: 21 October 2020)

Skip to content
printicon

Logic and Applications

The Logic and Applications Group has over 25 years experience in logic and information technology based research and development.

The group is formed by Patrik Eklund, Ankica Babic, M.Ángeles Galán, Robert Helgesson, Ulrich Höhle, Mats Johansson, Johan Karlsson, Jari Kortelainen, Magnus Löfstrand and Michael Winter.

Traditional logic is informal and even overlapping about the production of its ingredients like, signatures, terms, sentences, entailments, models and inference rules. Traditional logic also avoids to describe how these ingredients latively appear in one and another, i.e., how terms are formally contructed from signatures, sentences proceed from terms, and so on. Our solution is to arrange logic latively, thereby providing individualization of logic, and also embracing a concept of logics in dialogue, with terms, sentences and entailments etc being transformed when communicated from one logic to the other.

Lative logic is a generalized framework and a universal structure, where specific logics of all kind can be incorporated. Lative logic uses signatures as a fundamental atomic structure, and category theory is its metalanguage. This also leads to a lative logic specific type theory, where our three-level arrangement of signatures is fundamental for a wide variety of applications. Logic in dialogue and social logic is important also for internal and external views of systems-of-systems.

Our approach to logic is also tightly coupled with logical methodology for computational intelligence. Bayesian, neural and similar methods, typically based only on rudimentary statistics and numerics, will not suffice for application development that require contextual decision-making. Our logically enriched computational intelligence provides a logical scope going far beyond traditional approaches to logic and ontology, and can be seen in our applications in the public and private sectors.

Logic
algebra and topology in logic
category theory as a metalanguage
computational intelligence
foundations of mathematics
lative logic
logic-based medicine
many-valued logic
social logic
type theory

Applications
active and healthy ageing
analytics in private and public sectors
clean energy
engineering systems and industrial engineering
financial engineering
industrial systems availability
social and health care classification, nomenclature and ontology
social choice

Research projects

DT-SAPS, A digital twin to support sustainable and available production as a service
Duration 1 March 2019 until 28 February 2022
Type of project Research project
noICE - Nordic Icing Center of Expertise
Duration 1 September 2018 until 31 August 2021
Type of project Research project
WindCoE - Nordic Wind Energy Center
Research subject: Computing science, Statistics
Duration 1 December 2015 until 31 May 2018
Type of project Research project
LiM, Logic in Manufacturing
Research subject: Computing science
Duration 1 November 2015 until 31 March 2016
Type of project Research project
SAPPA, Service Architecture for Product and Production Availability
Research subject: Computing science
Duration 1 December 2014 until 31 December 2016
Type of project Research project
NSS, Nordic Safety and Security
Research subject: Computing science
Duration 1 August 2008 until 31 January 2011
Type of project Research project
JSP - Joint Study Programme
Research subject: Computing science
Duration 1 July 2004 until 30 June 2006
Type of project Research project
DITRA
Research subject: Computing science
Duration 1 March 2003 until 13 December 2005
Type of project Research project
TARSKI, Theory and applications of relational structures as knowledge instruments
Research subject: Computing science
Duration 30 June 2001 until 1 July 2005
Type of project Research project
GeDeMeDeS, A Generic System for Developing Medical Decision Support
Research subject: Computing science
Duration 1 July 1998 until 30 June 2001
Type of project Research project
Intelligent systems for health care applications
Research subject: Computing science
Duration 1 July 1998 until 30 June 2000
Type of project Research project
CHIN, Community Health Information Networks
Research subject: Computing science
Duration 1 July 1996 until 30 June 1998
Type of project Research project
Many-valued logic for computer science applications
Research subject: Computing science
Duration 1 July 1995 until 30 June 1999
Type of project Research project

Latest publications

2020
Catalysts, MDPI 2020, Vol. 10, (3)
Saeid, Soudabeh; Kråkström, Matilda; Tolvanen, Pasi; et al.
2020
Catalysts, MDPI 2020, Vol. 10, (7)
Saeid, Soudabeh; Kråkström, Matilda; Tolvanen, Pasi; et al.
2019
Journal of Allergy and Clinical Immunology, Elsevier 2019, Vol. 143, (3) : 864-879
Bousquet, Jean; Hellings, Peter W.; Agache, Ioana; et al.
2019
Clinical and Experimental Allergy, WILEY 2019, Vol. 49, (4) : 442-460
Menditto, Enrica; Costa, Elisio; Midao, Luis; et al.
2019
Proceedings of the 11th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2019), Atlantis Press 2019 : 370-375
Eklund, Patrik; Löfstrand, Magnus
2018
Advances in Human Factors, Business Management and Leadership: Proceedings of the AHFE 2017 International Conferences on Human Factors in Management and Leadership, and Business Management and Society, July 17−21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA, Springer 2018 : 40-51
Salminen, Vesa; Sanerma, Paivi; Niittymaki, Seppo; et al.
2018
Proceedings of the 20th International Dependency and Structure Modeling (DSM) Conference: Trieste (Italy), 15 – 17 October 2018, DSM 2018 : 195-202
Johansson, Mats; Eklund, Patrik; Kortelainen, Jari; et al.
2017
European Geriatric Medicine, Elsevier Masson 2017, Vol. 8, (5-6) : 511-519
Nogues, M.; Millot-Keurinck, J.; Iglesia-Gomez, M.; et al.
2017
6TH INTERNATIONAL YOUNG SCIENTIST CONFERENCE ON COMPUTATIONAL SCIENCE, YSC 2017, Elsevier 2017 : 16-21
Eklund, Patrik; Kortelainen, Jari

News - Computing Science

New Director to lead HPC2N
Published: 27 Oct, 2020

Professor Paolo Bientinesi appointed as new Director of HPC2N, as professor Bo Kågström steps down.

Virginia Dignum joins the Global Partnership on AI
Published: 25 Oct, 2020

Professor Virginia Dignum new member of global initiative on AI.

Top-listed AI startups in Sweden based on research at Umeå University
Published: 21 Oct, 2020

Algoryx, Infobaleen, Prediktera and Shimmercat are all among the brightest startups within AI in Sweden.

Privacy: an important concept of our time
Published: 15 Oct, 2020

Vu studies the need for only privacy-guarantee and privacy concern analysis in machine learning with big data.

Spin-off Elastisys part of fog computing project
Published: 05 Oct, 2020

Elastisys is part of a project with novel fog computing technologies for smart water management.