Concrete and abstract quantum computational logics