Classical vs non-classical logics
the universality of classical logic
by Dov M. Gabbay
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."
Check nearby libraries
Buy this book
Subjects
Symbolic and mathematical LogicShowing 1 featured edition. View all 1 editions?
| Edition | Availability |
|---|---|
1
Classical vs non-classical logics: the universality of classical logic
1993, Max-Planck-Institut für Informatik
in English
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Edition 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."
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?
| November 20, 2020 | Edited by MARC Bot | import existing book |
| December 4, 2010 | Edited by Open Library Bot | Added subjects from MARC records. |
| December 9, 2009 | Created by WorkBot | add works page |