Deciding theoremhood in fibred logics without shared connectives

2015

Sergio Marcelino, Carlos Caleiro, Pedro Baltazar

in: The road to universal logic II, Basel,