add tabs to logics#show view

The Logics show page is now somewhat more
analogue to 'the show page' of ontologies.