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.
Review
2015
Review
2015
Accuracy, Coherence, and Evidence
Taking Joyce’s (1998; 2009) recent argument(s) for probabilism as our point of departure, we propose a new way of grounding… 
Highly Cited
2009
Highly Cited
2009
A computational method of forecasting based on high-order fuzzy time series
Highly Cited
2008
Highly Cited
2008
Between Saying and Doing: Towards an Analytic Pragmatism
Lecture One: Extending the Project of Analysis Lecture Two: Elaborating Abilities: The Expressive Role of Logic Appendix to… 
Highly Cited
2000
Highly Cited
2000
A generalization of the fundamental theorem of de Finetti for imprecise conditional probability assessments
Highly Cited
1999
Highly Cited
1999
Universal Grammar and the Acquisition of Semantic Knowledge: An Experimental Investigation into the Acquisition of Quantifier-Negation Interaction in English
This dissertation explores the way in which English-speaking children acquire the meaning of sentences containing negation and… 
1999
1999
A hierarchical and recursive model of mathematical expressions for automatic reading of mathematical documents
We propose an original model for automatic reading of mathematical texts, founded on a recursive approach and a hierarchical view… 
Review
1997
Review
1997
RESEARCH ON TEXT COMPREHENSION IN MULTIMEDIA ENVIRONMENTS
Based on underlying theories of L2 reading comprehension and text comprehension with multimedia, and in light of the new tools… 
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… 
Highly Cited
1990
Highly Cited
1990
The A/A-bar distinction and movement theory
Highly Cited
1985
Highly Cited
1985
Second-Order Logical Relations (Extended Abstract)
Logical relations are a generalization of homomorphisms between models of typed lambda calculus. We define logical relations for… 
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)