139467

References

Carlos Caleiro

Deciding theoremhood in fibred logics without shared connectives

2015

with Marcelino Sérgio, Baltazar Pedro

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

Open Access Link
Quantum institutions

2006

with Sernadas Cristina

in: Algebra, meaning, and computation, Dordrecht : Springer

Open Access Link