.
Centre for Logic, Epistemology and the History of Science (CLE)

Main Page

Articles

Editorial Board

Rules and Instructions
Sites Pointing to CLE e-Prints

CLE e-Prints eletronic version
ISSN 1519-9681
CLE e-Prints printed version 
ISSN 1519-9614
.
Vol. 1(4), 2001 (Section Logic)
.
Transfers Between Logics and Their Applications
.
M.E. Coniglio
Personal web-page
W.A. Carnielli
Personal web-page
.
.
Date Posted: June, 21st 2001
Download Files:  [PDF]    [PS]
.

Publication Information
The final version of this paper is published as:
.
M.E. Coniglio, W.A. Carnielli, "Transfers Between Logics and their Applications". Studia Logica 72, no. 3, pp. 367-400, 2002.

.
.
Abstract
.
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as well as interest from the point of view of applications. The language, concepts and methods of model theory can thus be used to describe the relationship between logics through morphisms of structures called transfers. This leads to a formal framework for studying several properties of abstract logics and their attributes such as consequence operator, syntactical structure, and internal transformations. In particular, we treat Belief Revision Systems (BRS) as our main example, defining the Wide Belief Revision Systems (WBRS’s). This generalization permits to define BRS’s in an abstract setting for classical and non-standard logics. We also show how the concept of translation between logics can be obtained as a particular case of transfers.
.
.
..
BACK
.
© 2001 - Centro de Lógica, Epistemologia e História da Ciência - CLE
Last Update: March, 20th, 2002
Problems, sugestions and questions about this site?
contact:webmaster@cle.unicamp.br