Abstract quantum computing machines and quantum computational logics