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]

Authors

Sérgio Marcelino

This author has not been identified. Look up 'Sérgio Marcelino' in Google

Carlos Caleiro

This author has not been identified. Look up 'Carlos Caleiro' in Google