Deciding theoremhood in fibred logics without shared connectives

Sérgio Marcelino, Carlos Caleiro, Pedro Baltazar

pp. 387-406


This document is unfortunately not available for download at the moment.

Not implemented yet !