A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is
Fibring is a meta-logical constructor that applied to two logics produces a new logic whose formulas allow the mixing of symbols. Homogeneous fibring assumes that the original logics are presented in the same way (e.g via Hilbert calculi). Heterogeneous fibring, allowing the original logics to have different presentations (e.g. one presented by a Hilbert calculus and the other by a sequent calculus), has been an open problem. Herein, consequence systems are shown to be a good solution fordoi:10.1093/jigpal/jzm057 fatcat:p4aqfw5rhzdvfpwy4abosjuze4