Skip to search formSkip to main contentSkip to account menu

Logical relations

Logical relations are a proof method employed in programming language semantics to show that two denotational semantics are equivalent. To describe… 
Wikipedia (opens in a new tab)

Related topics

Related topics

1 relation
Denotational semantics

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Assigning agents to a line
2010
2010
E-HowNet and Automatic Construction of a Lexical Ontology
In this paper, we propose a lexical senses representation system called E-HowNet, in which the lexical senses are defined by… 
2010
2010
Explicit Feature Construction and Manipulation for Covering Rule Learning Algorithms
Features are the main rule building blocks for rule learning algorithms. They can be simple tests for attribute values or complex… 
2006
2006
Counts-as: Classification or Constitution? An Answer Using Modal Logic
By making use of modal logic techniques, the paper disentangles two semantically different readings of statements of the type X… 
2003
2003
Logical connectives as catalysts for interactive L2 reading
2001
2001
A methodology for fuzzy modeling of engineering systems
1993
1993
Mechanizing Logical Relations
We give an algorithm for deciding whether there exists a definable element of a finite model of an applied typed lambda calculus… 
1992
1992
A logical model of competence and performance in the human sentence processor
This work is concerned with the way in which principled theories of syntax and modular theories of mind may participate in an… 
1991
1991
Abstract interpretation of functional languages: from theory to practice
Interpretation of Functional Languages: From Theory to Practice 
1983
1983
HPRL: A Language for Building Expert Systems
This paper describes an extension of FRL (Frame Representation Language) which supports the encoding of reasoning knowledge… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)