Logic and Applications

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

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

Group members

Patrik Eklund
Ankica Babic
M.Ángeles Galán
Robert Helgesson
Ulrich Höhle
Mats Johansson
Johan Karlsson
Jari Kortelainen
Magnus Löfstrand

Projects

  • WindCoE, Nordic Wind Energy Center (Interreg Botnia Atlantica, 2015-2018)
  • LiMLogic in Manufacturing (VINNOVA, 2015-2016)
  • SAPPA, Service Architecture for Product and Production Availability (VINNOVA, 2014-2016)
  • NSS, Nordic Safety and Security (European Structural Funds, 2008-2011)
  • JSP - Joint Study Programme (Interreg IIIA, 2004-2006)
  • DITRA, Arena för distribuerat ingenjörsarbete (European Structural Funds, 2003-2005)
  • TARSKI, Theory and applications of relational structures as knowledge instruments (EU COST 274, 2001-2005)
  • GeDeMeDeS, A Generic System for Developing Medical Decision Support (KK-stiftelsen, 1998-2001)
  • Intelligent systems for health care applications (TFR, 1998-2000)
  • Many-valued logic for computer science applications (EU COST 15, 1995-1999)
  • CHIN, Community Health Information Networks (EU FP4, 1996-1998)

Page Editor: Patrik Eklund

Print page