Bidirectional Logical Meaning