Bibliographic Details
Title: |
Abstract |
Authors: |
João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò |
Contributors: |
The Pennsylvania State University CiteSeerX Archives |
Superior Title: |
http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/00-RSSV-fiblog5.pdf. |
Collection: |
CiteSeerX |
Subject Terms: |
Fibring of Logics, Labelled Deduction Systems, Natural Deduction, General Semantics, Category Theory |
Description: |
We give a categorial characterization of how labelled deduction systems for logics with a propositional basis behave under unconstrained fibring and under fibring that is constrained by symbol sharing. At the semantic level, we introduce a general semantics for our systems and then give a categorial characterization of fibring of models. Based on this, we establish the conditions under which our systems are sound and complete with respect to the general semantics for the corresponding logics, and establish requirements on logics and systems so that completeness is preserved by both forms of fibring. |
Document Type: |
text |
File Description: |
application/pdf |
Language: |
English |
Relation: |
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.63.4413; http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/00-RSSV-fiblog5.pdf |
Availability: |
http://wslc.math.ist.utl.pt/ftp/pub/SernadasA/00-RSSV-fiblog5.pdf |
Rights: |
Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
Accession Number: |
edsbas.C3B2CB14 |
Database: |
BASE |