文档介绍：Fibrec Semantics and the Weaving of Logics Part 1: Modal ant Intu
Logics
D. M. Gabbay
The Journal ofSymboZic Logic, Volume 61, Issue 4 (Dec., 1996), 1057-1120.
Stable URL:
http://links./sici?sici=0022-4812%28 199612%2961%3A4%3C 1057%3AFSATW0%%3B2-W
Your use of the JSTOR archive indicates your acceptance of JSTOR’s Terms and Conditions of Use, available at
ut/’s Terms and Conditions of Use provides, in part, that unless you
have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and
you may use content in the JSTOR archive only for your personal, mercial use.
Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or
printed page of such transmission.
The Journal of Symbolic Logic is published by Association for Symbolic Logic. Please contact the publisher for
further permissions regarding the use of this work. Publisher contact information may be obtained at
/journals/.
The Journal of Symbolic Logic
01996 Association for Symbolic Logic
JSTOR and the JSTOR logo are trademarks of JSTOR, and are Registered in the . Patent and Trademark Office.
For more information on JSTOR contact jstor-******@.
02003 JSTOR
/
Tue Jul 1 16:02:25 2003
THEJOURNAL OF SYMBOLICLOGIC
Volume 61, Sumber 4. Dec 1996
FIBRED SEMANTICS AND THE WEAVING OF LOGICS
PART 1: MODAL AND INTUITIONISTIC LOGICS
D. M. GABBAY
Abstract. This is Part 1 of a paper on fibred semantics bination of logics. It aims to present a
methodology bining arbitrary logical systems Lj,i E I,to form a new system LI, The methodology
'fibres' the semantics fu, of Lj into a semantics for LI,and 'weaves' the proof theory (axiomatics) of Lj
into a proof system of are various ways of doing this, we distinguish by different names such as
'fibring', 'dovetailing' etc, yielding different systems, denoted