Carlos Caleiro, Walter Carnielli, João Rasga, Cristina Sernadas  Home/Search
Context
Related
| wslc.math.ist.utl....4CCRSfiblog23.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: cs.math.ist.utl.pt/s84....publist (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper is to bring together the rich variety of results, problems and perspectives involving fibring, making clear the role of the underlying constructions as universal arguments in the categorial sense. We depart from a basic universe of logic systems encompassing only propositionalbased systems endowed with Hilbert calculi and ordered algebraic semantics. We shall see that this universe is already rich enough to illustrate interesting features of fibring and to provide the basis for... (Update)
Similar documents based on text: More All
0.7: Fibring Labelled Deduction Systems - Rasga, Sernadas, Sernadas (2002) (Correct)
0.7: Fibring of Logics as a Categorial Construction - Sernadas, Sernadas, Caleiro (1998) (Correct)
0.6: Fibring Non-Truth-Functional Logics: Completeness.. - Caleiro, Carnielli.. (2000) (Correct)
BibTeX entry: (Update)
@misc{ caleiro-fibring,
author = "Carlos Caleiro and Walter Carnielli and João Rasga and Cristina
Sernadas",
title = "Fibring Of Logics As A Universal Construction",
url = "citeseer.ist.psu.edu/704060.html" }
Citations (may not include all citations):562 Categories for the Working Mathematician (context) - Lane - 1998
116 volume 2309 of Lecture Notes in Computer Science (context) - Armando, of et al. - 2002
107 A New Introduction to Modal Logic (context) - Hughes, Cresswell - 1996
69 Membership algebra as a logical framework for equational spe.. - Meseguer - 1998
56 Adding a temporal dimension to a logic system - Finger, Gabbay - 1992
54 Manydimensional modal logics: Theory and applications (context) - Gabbay, Kurucz et al. - 2003
52 Oxford University Press (context) - Gabbay - 1999
49 Properties of independently axiomatizable bimodal logics (context) - Kracht, Wolter - 1991
48 Products of modal logics (context) - Gabbay, Shehtman - 1998
45 Temporalizing description logics - Wolter, Zakharyaschev - 2000
43 Completeness of many-sorted equational logic (context) - Goguen, Meseguer - 1985
41 Fibring of logics as a categorial construction - Sernadas, Sernadas et al. - 1999
37 Why combine logics (context) - Blackburn, de Rijke - 1997
35 Fibring: Completeness preservation - Zanardo, Sernadas et al. - 2001
32 Systematization of finite many-valued logics through the met.. (context) - Carnielli - 1987
32 Fibred semantics and the weaving of logics: part (context) - Gabbay - 1996
31 Complexity of products of modal logics (context) - Marx - 1999
30 Combinations of tense and modality (context) - Thomason - 1984
27 AMS Colloquium Publications (context) - Birkho, Theory - 1967
22 Combining temporal logic systems - Finger, Gabbay - 1996
22 Fusions of modal logics revisited - Wolter - 1998
17 Simulation and transfer results in modal logic -- a survey (context) - Kracht, Wolter - 1997
17 An overview of fibred semantics and the combination of logic.. (context) - Gabbay - 1996
13 Fibring non-truth-functional logics: Completeness preservati.. - Caleiro, Carnielli et al. - 2003
13 Synchronization of logics - Sernadas, Sernadas et al. - 1997
11 Fibring labelled deduction systems - Rasga, Sernadas et al. - 2002
10 A categorial approach to the combination of logics - Carnielli, Coniglio - 1999
10 A treatise on many-valued logics (context) - Gottwald - 2001
9 Categorial fibring of logics with terms and binding operator.. - Sernadas, Sernadas et al. - 2000
8 Fibring semantic tableaux (context) - Beckert, Gabbay - 1998
7 Combining classical and intuitionistic logic - del, Herzig - 1996
7 Modulated fibring and the collapsing problem - Sernadas, Rasga et al. - 2002
6 Fibring logics with topos semantics - Coniglio, Sernadas et al. - 2003
6 Combining logics: Parchments revisited - Caleiro, Mateus et al. - 2001
5 Limits for paraconsistency calculi (context) - Carnielli, Marcos - 1999
5 Parameterisation of logics - Caleiro, Sernadas et al. - 1999
5 Annals of Mathematics and Artificial Intelligence (context) - Mateus, Pacheco et al. - 2001
4 is not algebraizable (context) - Lewin, Mikenberg et al. - 1991
4 Universidade Tecnica de Lisboa (context) - Caleiro, PhD et al. - 2000
4 Fibring modal firstorder logics: Completeness preservation - Sernadas, Sernadas et al. - 2002
3 On fibring semantics for BDI logics - Governatori, Padmanabhan et al. - 2002
3 Advanced many-valued logics (context) - Hahnle - 2001
3 volume 142 of Studies in Logic and the Foundations of Mathem.. (context) - Kracht, techniques et al. - 1999
3 Transfers between logics and their applications - Coniglio, Carnielli - 2002
3 The unrestricted combination of temporal logic systems (context) - Finger, Weiss - 2002
2 Every quotient algebra for is trivial (context) - Mortensen - 1980
2 volume 1794 of Lecture Notes in Computer Science (context) - Kirchner, Ringeissen et al. - 2000
2 Special issue on combining logics (context) - de Rijke, Blackburn - 1996
2 Products of modal and temporal logics (context) - Gabbay, Shehtman et al. - 2002
2 Philosophia - The Philosophical Quarterly of Israel (context) - Costa, Carnielli et al. - 1988
2 Relativised quantifiers in classical logic (context) - Gabbay, Shehtman et al. - 2000
2 Special issue on combining logics (context) - Gabbay, Pirri - 1997
1 Combining logic systems: Why (context) - Sernadas, Sernadas - 2003
1 Exogenous quantum logic - Mateus, Sernadas - 2004
1 Preservation of interpolation features by fibring (context) - Carnielli, Sernadas - 2004
1 Completeness results for fibred parchments: Beyond the propo.. - Caleiro, Gouveia et al. - 2003
1 Intuitionistic logic (context) - van Danlen - 1986
1 A semantical analysis of the calculi (context) - Costa, Alves - 1977
1 Fibring Labelled First-order Based Logics (context) - Rasga - 2003
1 The semantics of the systems da Costa (context) - Loparic, Alves - 1980
Documents on the same site (http://www.cs.math.ist.utl.pt/s84.www/cs/clc/publist/publist.html): More
Composition of Cryptographic Protocols in a.. - Mateus, Mitchell.. (2003) (Correct)
Program Extraction from Large Proof Developments - Cruz-Filipe, Spitters (2003) (Correct)
Multi-Agent Systems Specification and Certification: a.. - Gouveia, Ramos (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC