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

Skip to content

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.

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

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


See projects in the research group Logic and Applications.


Publications Logic and Applications.


Responsible AI grant
Published: 21 Jul, 2020

The research project Responsible Artificial INtelligence (RAIN) is supported with a SEK 1,500,000 grant.

Unique collaboration on IT and artificial intelligence
Published: 25 Jun, 2020

The initiative Digital Impact North is based on strong growth in AI, autonomous systems and software

Spin-off awarded for industry grade physics in Unreal Engine
Published: 24 Jun, 2020

Algoryx has been awarded for implementation of industry grade physics simulation in Unreal Engine.

Researcher contributes to Conference on Systems, Man, and Cybernetics
Published: 12 Jun, 2020

Organizing a special session on Data Analytics and Computation Intelligence

Virginia Dignum one of 50 top AI ethics influencers
Published: 31 May, 2020

Virginia Dignum on the French digital web agency IPFC list of top 50 AI Ethics influencers.