Representation theorems and theorem proving in non-classical logics

Proceedings of The International Symposium on Multiple-Valued Logic

Volumn , Issue , 1999, Pages 242-247

  Sofronie Stokkermans, Viorica ^a  

^a MAX PLANCK INSTITUTE FOR INFORMATICS   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; THEOREM PROVING;

AUTOMATED THEOREM PROVING; KRIPKE-STYLE MODEL;

FORMAL LOGIC;

EID: 0032657767     PISSN: 0195623X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (26)