MARC Record from Scriblio

LEADER: 01704nam 2200301 a 4500
001 95103988
003 DLC
005 19970522151800.5
008 950112s1993 gw bt 000 0 eng d
010 $a 95103988
035 $a(OCoLC)30496437
040 $aPPiC$cPPiC$dDLC
042 $alccopycat
050 00 $aQA9$b.G17 1993
082 00 $a511.3$221
100 1 $aGabbay, Dov M.,$d1945-
245 10 $aClassical vs non-classical logics :$bthe universality of classical logic /$cDov M. Gabbay.
246 3 $aClassical versus non-classical logics
260 $aSaarbrücken, Germany :$bMax-Planck-Institut für Informatik,$c[1993]
300 $a101 p. ;$c30 cm.
500 $a"This paper will be published in volume 2 of the Handbook of Logic in Artificial Intelligence and Logic Programming, Oxford University Press."--P. [i].
500 $a"August 1993."
500 $a"MPI-I-93-230."
520 $aAbstract: "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."
504 $aIncludes bibliographical references.
536 $aSupported in part by SERC
650 0 $aLogic, Symbolic and mathematical.
710 2 $aMax-Planck-Institut für Informatik.