Classical vs non-classical logics: the universality of classical logic

Gabbay, Dov M.

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Report

Classical vs non-classical logics: the universality of classical logic

MPS-Authors

Gabbay, Dov M.
Programming Logics, MPI for Informatics, Max Planck Society;

External Resource

No external resources are shared

Fulltext (restricted access)

There are currently no full texts shared for your IP range.

Fulltext (public)

MPI-I-93-230.pdf
(Any fulltext), 526KB

Supplementary Material (public)

There is no public supplementary material available

Citation

Gabbay, D. M.(1993). Classical vs non-classical logics: the universality of classical logic (MPI-I-93-230). Saarbrücken: Max-Planck-Institut für Informatik.

Cite as: https://hdl.handle.net/11858/00-001M-0000-0014-B474-2

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 a 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.