Foundation of Paraconsistent Rule-Based Reasoning with Graded Truth Values

De Angelis, Francesco; Di Marzo Serugendo, Giovanna; Szalas, Andrzej

Technical report

English

Foundation of Paraconsistent Rule-Based Reasoning with Graded Truth Values

ContributorsDe Angelis, Francesco; Di Marzo Serugendo, Giovanna

; Szalas, Andrzej

Publication date2017

Abstract

This technical report includes the proofs of several lemmas and theorems used in the paper "Paraconsistent Rule-Based Reasoning with Graded Truth Degrees", written by the same authors

Keywords

Rule-based reasoning
Paraconsistent logic

NoteComplementary text to a paper

Affiliation entities

Centres et instituts / Centre universitaire d'informatique
Faculté d'économie et de management / Information Science Institute
Faculté des sciences de la société

Citation (ISO format)

DE ANGELIS, Francesco, DI MARZO SERUGENDO, Giovanna, SZALAS, Andrzej. Foundation of Paraconsistent Rule-Based Reasoning with Graded Truth Values. 2017

Report

Identifiers

PID : unige:94264

425views

85downloads

Creation05/05/2017 16:49:00

First validation05/05/2017 16:49:00

Update time15/03/2023 01:41:18

Status update15/03/2023 01:41:18

Last indexation31/10/2024 06:57:45

Archive ouverte UNIGE

Foundation of Paraconsistent Rule-Based Reasoning with Graded Truth Values

This technical report includes the proofs of several lemmas and theorems used in the paper "Paraconsistent Rule-Based Reasoning with Graded Truth Degrees", written by the same authors

Technical informations