Heterogeneous fibring of deductive systems via abstract proof systems (2005)

by Luís Cruz-filipe , Amílcar Sernadas , Cristina Sernadas
Citations:3 - 1 self

Active Bibliography

1 Preservation of interpolation by fibring – Walter A. Carnielli, Cristina Sernadas, Alberto Zanardo
20 Modulated Fibring and the Collapsing Problem – Cristina Sernadas, João Rasga, Walter A. Carnielli - 2001
4 Completeness Results for Fibred Parchments Beyond the Propositional Base – C. Caleiro, P. Gouveia, J. Ramos - 2003
11 Fibring Logics with Topos Semantics – M. E. Coniglio, C. Sernadas, C. Sernadas - 2002
A Fibred Tableau Calculus for Modal Logics of Agents ⋆ – Vineet Padmanabhan, Guido Governatori
1 Parallel composition of logic calculi with proofs as generalized 2-cells – A. Sernadas, C. Sernadas, J. Rasga - 2010
9 Preservation of interpolation features by fibring – Walter Carnielli, João Rasga Cristina Sernadas
1 On constructing fibred tableau calculus for BDI logics – Vineet Padmanabhan, Guido Governatori - 2006
7 Non-Truth-Functional Fibred Semantics – C. Caleiro, J. Marcos - 2001
4 Plain fibring and direct union of logics with matrix semantics – Marcelo E. Coniglio, Víctor L. Fernández - 2005
Modulated Fibring and the Collapsing Problem – Cristina Sernadas Jo, Walter A. Carnielli - 2002
12 Fibring Modal First-Order Logics: Completeness Preservation – Amílcar Sernadas, Cristina Sernadas, Alberto Zanardo - 2002
The essence of proofs when fibring sequent calculi – Luís Cruz-filipe, Cristina Sernadas
Fibring as biporting subsumes asymmetric – J. Rasga, A. Sernadas, C. Sernadas - 2010
Cryptofibring ∗ – C. Caleiro, J. Ramos
4 Recovering a logic from its fragments by meta-fibring. Logica Universalis – Marcelo E. Coniglio
11 Combining Valuations with Society Semantics – V.L. Fernández, M. E. Coniglio, For N N - 2003
4 Categorial Combination of Logics: Completeness Preservation – M. E. Coniglio - 2001
1 Truth-Values as Labels: A General Recipe for Labelled Deduction – Cristina Sernadas, Luca Viganó, João Rasga, Amílcar Sernadas