D.M. Gabbay (1994) `Classical vs non-classical logics (the universality of classical logic)'. In Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies, D.M. Gabbay, C.J. Hogger & J.A. Robinson (eds.), Clarendon Press, Oxford: 359--495.  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
The Practice of Logical Frameworks - Frank Pfenning (1996) (15 citations) (Correct)
....on equational reasoning take a rather different form and we will not discuss them here. The interested reader is referred to [MOM93, KKV93, Hab94] Another approach derives from the notion of labelled deductive system due to Gabbay [Gab94] Here the meta logic is a classical logic with equality [Gab93] Two further notes on terminology. Some researchers distinguish logical frameworks from meta logical frameworks [BC93] the latter being intended as a metalanguage for reasoning about deductive systems rather than within them. Clearly, the latter is more general, since meta logical frameworks ....
....Implemen5 tation projects for these languages have just begun. Besides linear and related logics, these frameworks also enable a whole new class of languages to be represented concisely, namely those involving state and concurrency [Chi95] Also relevant is the work on labelled deductive systems [Gab93, Gab94] Another challenge is the development of appropriate structuring principles to achieve modular presentation of deductive systems. This has been studied in the abstract [HST94] and in the context of the Elf language [HP92b] but only prototype implementations exist. The ALF framework ....
Dov M. Gabbay. Classical vs non-classical logics: The universality of classical logic. Technical Report MPI-I-93-230, Max-Planck-Institut fur Informatik, Saarbrucken, Germany, August 1993.
Modern Logic and Its Role in the Study of Knowledge - Peter Flach University (Correct)
No context found.
D.M. Gabbay (1994) `Classical vs non-classical logics (the universality of classical logic)'. In Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2: Deduction Methodologies, D.M. Gabbay, C.J. Hogger & J.A. Robinson (eds.), Clarendon Press, Oxford: 359--495.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC