Fibring Labelled Deduction Systems

João Rasga, Amílcar Sernadas, Cristina Sernadas, Luca Viganò. Fibring Labelled Deduction Systems. Journal of Logic and Computation, 12(3):443-473, 2002. [doi]

Abstract

Abstract is missing.