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

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

Documents Related by Co-Citation

183 Fresh Logic – Murdoch J. Gabbay, Aad Mathijssen - 2007
35 Fibred semantics and the weaving of logics: part 1 – D Gabbay - 1996
45 Fibring: Completeness Preservation – Alberto Zanardo, Amilcar Sernadas, Cristina Sernadas - 2000
20 Modulated Fibring and the Collapsing Problem – Cristina Sernadas, João Rasga, Walter A. Carnielli - 2001
10 Displaying modal logic, volume 3 of Trends in Logic—Studia Logica Library – H Wansing - 1998
6 editor. Frontiers of combining systems – A Armando - 2002
6 Fibring semantic tableaux. In Automated reasoning with analytic tableaux and related methods – B Beckert, D Gabbay - 1998
5 editors. Frontiers of combining systems – H Kirchner, C Ringeissen - 2000
1 Formalised cut admissibility for display logic. In Theorem proving in higher order logics – J Dawson, R Goré - 2002
44 Fusions of modal logics revisited – Frank Wolter - 1998
13 Fibring Labelled Deduction Systems – João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Vigano - 2002
9 Sufficient conditions for cut elimination with complexity analysis – João Rasga - 2007
10 Indexed systems of sequents and cut-elimination – G Mints - 1997
16 Cut normal forms and proof complexity – M Baaz, A Leitsch - 1999
38 Substructural Logics on Display – Rajeev Goré - 1998
7 Strong cut-elimination in display logic – H Wansing - 1995
45 Normal derivability in classical logic – W W Tait - 1968
78 Lectures on Proof Theory – Samuel Buss, A. Maciel (mcgill, E. Allender (rutgers, P. Mckenzie - 1996
7 Modal Sequent Calculi Labelled with Truth Values: Completeness, Duality and Analyticity – P. Mateus, A. Sernadas, C. Sernadas, L. Vigano - 2003