May I borrow your logic? (Transporting logical structures along maps)
scientific article; zbMATH DE number 1178195
scientific article