Transfers between logics and their applications

Studia Logica 72 (3):367-400 (2002)
Marcelo E. Coniglio
University of Campinas
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 allows us 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.
Keywords Philosophy   Logic   Mathematical Logic and Foundations   Computational Linguistics
Categories (categorize this paper)
Reprint years 2004
DOI 10.1023/A:1021845424153
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 36,528
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

AGM 25 Years.Eduardo Fermé & Sven Ove Hansson - 2011 - Journal of Philosophical Logic 40 (2):295-331.
AGM 25 Years: Twenty-Five Years of Research in Belief Change.Eduardo Fermé & Sven Ove Hansson - 2011 - Journal of Philosophical Logic 40 (2):295 - 331.
Interpolation Via Translations.João Rasga, Walter Carnielli & Cristina Sernadas - 2009 - Mathematical Logic Quarterly 55 (5):515-534.

Add more citations

Similar books and articles


Added to PP index

Total downloads
29 ( #224,289 of 2,302,335 )

Recent downloads (6 months)
1 ( #430,168 of 2,302,335 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature