Bibliographic Details
| Title: |
Modulated Fibring and the Collapsing Problem |
| Authors: |
Cristina Sernadas, João Rasga, Walter A. Carnielli |
| Contributors: |
The Pennsylvania State University CiteSeerX Archives |
| Superior Title: |
http://www.cs.math.ist.utl.pt/ftp/pub/SernadasC/01-SRC-fiblog7.ps. |
| Publication Year: |
2001 |
| Collection: |
CiteSeerX |
| Description: |
Fibring is recognized as one of the main mechanisms in combining logics, with great signicance in the theory and applications of mathematical logic. However, an open challenge to bring is posed by the collapsing problem: even when no symbols are shared, certain combinations of logics simply collapse to one of them, indicating that bring imposes unwanted interconnections between the given logics. Modulated bring allows a ner control of the combination, solving the collapsing problem both at the semantic and deductive levels. Main properties like soundness and completeness are shown to be preserved, comparison with bring is discussed, and some important classes of examples are analyzed with respect to the collapsing problem. 1 |
| Document Type: |
text |
| File Description: |
application/postscript |
| Language: |
English |
| Relation: |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.28.6322; http://www.cs.math.ist.utl.pt/ftp/pub/SernadasC/01-SRC-fiblog7.ps |
| Availability: |
http://www.cs.math.ist.utl.pt/ftp/pub/SernadasC/01-SRC-fiblog7.ps |
| Rights: |
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| Accession Number: |
edsbas.AE56A29F |
| Database: |
BASE |
