bn:00051861n
Noun Concept
Categories: Formal methods stubs, Programming language semantics
EN
logical relation  logical relations
EN
A relation between propositions WordNet 3.0
Definitions
Relations
Sources
EN
A relation between propositions WordNet 3.0 & Open English WordNet
Logical relations are a proof method employed in programming language semantics to show that two denotational semantics are equivalent. Wikipedia
WordNet 3.0 & Open English WordNet
Wikipedia
Wikidata
Wikipedia Redirections