Classical vs non-classical logics
Subtitle: the universality of classical logic
By: Dov M. Gabbay.
Contributors: Max-Planck-Institut für Informatik.
Publisher: Max-Planck-Institut für Informatik
Published: 1993
Place of publication: Saarbrücken, Germany
Language: eng
Number of pages: 101
Subjects: Logic, Symbolic and mathematical.
Other titles: Classical versus non-classical logics
Description: Abstract: "This report investigates the question of the universality of classical logic.  The approach is to show that an almost arbitrary logical system can be translated reasonably intuitively and almost automatically into classical logic.  The path leading to this result  goes through the analysis of what is reasonable logic, how to find semantics for it, how to build a labelled deductive system (LDS) for it, how to translate a LDS into classical logic and how to automate the process  using SCAN.  This report relies on other papers, published and/or to be published as explained in the acknowledgements."
Notes: Supported in part by SERC
Includes bibliographical references.
"This paper will be published in volume 2 of the Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press."--P. [i].
"August 1993."
"MPI-I-93-230."