Ristiriitoja sietävät logiikat

  • Published:29.12.2017

Tämän raportin tarkoituksena on esitellä erilaisia parakonsistentteja logiikoita ja niiden sovelluksia raportin tilaajan FIMA:n jäsenille.  Raportti sisältää selvityksen parakonsistentin logiikan perusteista ja vertailun muihin vastaaviin logiikoihin, kartoituksen maailmalla jo olemassa olevista sovelluksista ja sovellusmahdollisuuksista automaatiotekniikassa.

Raportti jäsenille FIMAnetissä

Report authors

  • Matematiikan laboratorio, Tampereen teknillinen yliopisto
  • Miikka Vilander
  • Matematiikan laboratorio, Tampereen teknillinen yliopisto
  • Esko Turunen
  • Atostek Oy
  • Juhana Helovuo