Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Propositional function

Known as: Propositional functions 
A propositional function in logic, is a sentence expressed in a way that would assume the value of true or false, except that within the sentence is… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Certain commentators on Russell’s “no class” theory, in which apparent reference to classes or sets is eliminated using higher… Expand
Is this relevant?
2010
2010
The unity of opposites in the title is essentially that between logic and geometry, and there are compelling reasons for… Expand
Is this relevant?
2009
2009
In “On Saying That,” Donald Davidson offered an analysis of indirect discourse that was meant to overcome the classic… Expand
Is this relevant?
2007
2007
  • K KC.
  • 2007
  • Corpus ID: 56345972
Russell discovered the classes version of Russell’s Paradox in spring , and the predicates version near the same time. There… Expand
Is this relevant?
2004
2004
We report that a proper employment of MWEs concerned enables us to put forth a tractable framework, which is based on a multiple… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Since its original formulation, due in its current form to Perlmutter (1978), the unaccusative hypothesis has played a major role… Expand
Is this relevant?
1989
1989
The theory of properties, relations, and propositions (PRPs) promises to play a significant foundational role in logic… Expand
Is this relevant?
1989
1989
When specifying the task of a computer program, it is often natural to use recursion on a data type. In Martin-Lof's type theory… Expand
Is this relevant?
1976
1976
I first heard the name of Kurt Gddel when, as a graduate student at Princeton in the fall of 1931, I attended a colloquium at… Expand
Is this relevant?
1964
1964
S OF PAPERS SUBMITTED FOR PRESENTATION TO THE SOCIETY The following papers have been submitted to the Secretary and the Associate… Expand
Is this relevant?