Logical bilattices and inconsistent data

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 1994, Pages 468-476

  Arieli, Ofer ^a   Avron, Arnon ^a  

^a TEL AVIV UNIVERSITY   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; DECISION TABLES; INFERENCE ENGINES; LOGIC CIRCUITS; LOGIC DESIGN; THEOREM PROVING;

INCONSISTENT DATA; LOGICAL BILATTICES; PARACONSISTENT LOGIC;

MANY VALUED LOGICS;

EID: 0027969855     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (32)