Encoding two-valued non-classical logics in classical logic

Authors
Publication date 2000
Host editors
  • A. Robinson
  • A. Voronkov
Book title Handbook of Automated Reasoning
Pages (from-to) 1403-1486
Publisher Elsevier
Organisations
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type Chapter
Permalink to this page
Back