en
Technical report
Open access
English

Foundation of Paraconsistent Rule-Based Reasoning with Graded Truth Values

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
Citation (ISO format)
DE ANGELIS, Francesco, DI MARZO SERUGENDO, Giovanna, SZALAS, Andrzej. Foundation of Paraconsistent Rule-Based Reasoning with Graded Truth Values. 2017
Main files (1)
Report
accessLevelPublic
Identifiers
  • PID : unige:94264
416views
84downloads

Technical informations

Creation05/05/2017 4:49:00 PM
First validation05/05/2017 4:49:00 PM
Update time03/15/2023 1:41:18 AM
Status update03/15/2023 1:41:18 AM
Last indexation05/02/2024 7:20:49 PM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack