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

Sun, 01 Jan 2017 00:00:00 +0100

Sérgio Marcelino , Carlos Caleiro:
On the characterization of fibred logics, with applications to conservativity and finite-valuedness. J. Log. Comput. 27(7): 2063-2088 (2017)