2008 |
8 | EE | Walter Alexandre Carnielli,
João Rasga,
Cristina Sernadas:
Preservation of Interpolation Features by Fibring.
J. Log. Comput. 18(1): 123-151 (2008) |
2007 |
7 | EE | Paulo Mateus,
F. Moura,
João Rasga:
Transfering Proofs of Zero-Knowledge Systems with Quantum Correlations.
ICQNM 2007: 9 |
6 | EE | João Rasga:
Sufficient conditions for cut elimination with complexity analysis.
Ann. Pure Appl. Logic 149(1-3): 81-99 (2007) |
2005 |
5 | EE | 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 | EE | João Rasga,
Amílcar Sernadas,
Cristina Sernadas,
Luca Viganò:
Labelled Deduction over Algebras of Truth-Values.
FroCos 2002: 222-238 |
2 | EE | 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) |