Carlos Caleiro
Deciding theoremhood in fibred logics without shared connectives
2015
in: The road to universal logic II, Basel : Birkhäuser
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
Deciding theoremhood in fibred logics without shared connectives
2015
in: The road to universal logic II, Basel : Birkhäuser
2006
in: Algebra, meaning, and computation, Dordrecht : Springer