Heterogenous fibring of deductive systems is a longstanding open problem. A solution is presented using the new concept of abstract proof system encompassing commonly used kinds of deductive systems (such as Hilbert, Gentzen and Smullyan calculi). Some results on decidability and the relationship to effective consequence systems are shown. Joint work with A. Sernadas and L. Cruz-Filipe.