On the characterization of fibred logics, with applications to conservativity and finite-valuedness
Marcelino, Sérgio, Caleiro, CarlosLanguage:
english
Journal:
Journal of Logic and Computation
DOI:
10.1093/logcom/exw023
Date:
August, 2016
File:
PDF, 323 KB
english, 2016