 | 2008 |
|---|
| 9 |       | Walter Alexandre Carnielli,
João Rasga,
Cristina Sernadas:
Preservation of Interpolation Features by Fibring.
J. Log. Comput. 18(1): 123-151 (2008) |
| 8 | | Luís Cruz-Filipe,
João Rasga,
Amílcar Sernadas,
Cristina Sernadas:
Complete Axiomatization of Discrete-Measure Almost-Everywhere Quantification.
J. Log. Comput. 18(6): 885-911 (2008) |
| 2007 |
|---|
| 7 | | Paulo Mateus,
F. Moura,
João Rasga:
Transfering Proofs of Zero-Knowledge Systems with Quantum Correlations.
ICQNM 2007: 9 |
| 6 | | João Rasga:
Sufficient conditions for cut elimination with complexity analysis.
Ann. Pure Appl. Logic 149(1-3): 81-99 (2007) |
| 2005 |
|---|
| 5 | | Paulo Mateus,
João Rasga,
Cristina Sernadas:
Modal Sequent Calculi Labelled with Truth Values: Cut Elimination.
Logic Journal of the IGPL 13(2): 173-199 (2005) |
| 2003 |
|---|
| 4 |  | Cristina Sernadas,
Luca Viganò,
João Rasga,
Amílcar Sernadas:
Truth-values as Labels: A General Recipe for Labelled Deduction.
Journal of Applied Non-Classical Logics 13(3-4): 277-315 (2003) |
| 2002 |
|---|
| 3 | | João Rasga,
Amílcar Sernadas,
Cristina Sernadas,
Luca Viganò:
Labelled Deduction over Algebras of Truth-Values.
FroCos 2002: 222-238 |
| 2 | | João Rasga,
Amílcar Sernadas,
Cristina Sernadas,
Luca Viganò:
Fibring Labelled Deduction Systems.
J. Log. Comput. 12(3): 443-473 (2002) |
| 1 | | Cristina Sernadas,
João Rasga,
Walter Alexandre Carnielli:
Modulated Fibring and The Collapsing Problem.
J. Symb. Log. 67(4): 1541-1569 (2002) |
