RI: A logic for reasoning with inconsistency

Volumn , Issue , 1989, Pages 253-262

  Kifer, Michael ^a   Lozinskii, Eliezer L ^a  

^a STONY BROOK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

REASONING WITH INCONSISTENCY; REFUTATIONAL PROOF PROCEDURES; RI LOGIC; SEMANTICS; SYNTAX;

COMPUTER METATHEORY;

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

References (25)