Rational transitivity and its models

Proceedings of The International Symposium on Multiple-Valued Logic

Volumn , Issue , 1996, Pages 160-165

  Bezzazi, Hassan ^a   Perez, Ramon Pino ^a  

^a UNIV LILLE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL LINGUISTICS; KNOWLEDGE BASED SYSTEMS; MATHEMATICAL MODELS; THEOREM PROVING;

PREFERENTIAL LOGIC; RATIONAL CONTRAPOSITION; RATIONAL TRANSITIVITY;

FORMAL LOGIC;

EID: 0029696933     PISSN: 0195623X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (11)