かなり前にも触れましたが、ATTAPL (Advanced Topics in Types and Programming Languages)の234ページにある Such a relation is called "logical" because it respects the actions of the logical operators (in this case implication) that correspond …