Tampere University of Technology

TUTCRIS Research Portal

Paraconsistent Many-Valued Logic in GUHA Framework

Research output: Contribution to journalArticleScientificpeer-review


Original languageEnglish
Pages (from-to)104-111
Number of pages8
Journal Acta Informatica Pragensia, University of Economics, Prague
Issue number1
Publication statusPublished - 3 May 2018
Publication typeA1 Journal article-refereed


The primary aim of this paper is to establish a formal connection between a particular many-valued paraconsistent logic and the logic of a KDD method, namely the GUHA data mining method by introducing a new quantifier called Paraconsistent Separation quantifier. This quantifier is implemented to LISp-Miner Software. The secondary aim is to demonstrate a possible usefulness of this quantifier in social and other applied sciences by examples taking from family planning context.

Publication forum classification

Field of science, Statistics Finland