レコードをメール: Álgebras para la lógica implicativa con conjunción