On the characterization of fibred logics, with applications to conservativity and finite-valuedness

Sérgio Marcelino, Carlos Caleiro. On the characterization of fibred logics, with applications to conservativity and finite-valuedness. Journal of Logic and Computation, 27(7):2063-2088, 2017. [doi]

Abstract

Abstract is missing.