139466

References

Sérgio Marcelino

Deciding theoremhood in fibred logics without shared connectives

2015

with Caleiro Carlos, Baltazar Pedro

in: The road to universal logic II, Basel : Birkhäuser

Open Access Link