Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,263,140 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
9 relations
Axiom of reducibility
Existential quantification
History of type theory
Modal logic
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
The Use of Metadiscourse in Spoken InterLanguage of EFL Learners: A Contrastive Analysis
A. L.
2017
Corpus ID: 195967414
Considered as one of the indispensable parts of spoken communication, metadiscourse is defined as the self-reflective linguistic…
Expand
2015
2015
A Spiral Workbook for Discrete Mathematics
Harris Kwong
2015
Corpus ID: 125897217
2015
2015
Leveraging and Learning Propositional Functions for Large State Spaces in Planning and Reinforcement Learning
D. E. Hershkowitz
,
S. Brown
2015
Corpus ID: 2267597
Planning in large state spaces is a normally computationally infeasible task that crops up in many practical robotics problems. I…
Expand
2009
2009
Indirect Discourse: Parataxis, the Propositional Function Modification, and “That”
Michael A. Johnson
2009
Corpus ID: 33296937
In “On Saying That,” Donald Davidson offered an analysis of indirect discourse that was meant to overcome the classic…
Expand
2007
2007
ABSTRACTS OF PAPERS
L. E. Ward
2007
Corpus ID: 51809095
S OF PAPERS SUBMITTED FOR PRESENTATION TO THE SOCIETY The following papers have been submitted to the Secretary and the Associate…
Expand
2007
2007
We Are Grateful for the Useful Feedback from and Discussions with Henk Barendregt
H. Barendregt
,
A. Blass
,
I. Grattan-Guinness
,
R. Hindley
2007
Corpus ID: 14422599
In this article, we study the prehistory of type theory up to 1910 and its development betweenRussell andWhitehead…
Expand
1989
1989
Russell's theory of logical types and the atomistic hierarchy of sentences
N. Cocchiarella
1989
Corpus ID: 39476222
Russell's philosophical views underwent a number of changes throughout his life, and it is not always well appreciated that views…
Expand
1977
1977
The Q-consistency of F22
J. Seldin
Notre Dame J. Formal Log.
1977
Corpus ID: 46542637
In his [CSC],1 Curry proved the consistency of a system, which he there defines and calls 922, and which is closely related to…
Expand
1952
1952
Elements of mathematical logic
R. Goodstein
,
P. S. Novikov
,
E. Mendelson
Mathematical Gazette
1952
Corpus ID: 60870009
geometry in two and three dimensions : for three dimensions vectors are used, and a brief introduction to the requisite vector…
Expand
Review
1936
Review
1936
Review: J. C. C. McKinsey, On the Independence of Hilbert and Ackermann's Postulates for the Calculus of Propositional Functions
P. Bernays
Journal of Symbolic Logic (JSL)
1936
Corpus ID: 118494079
representative of this school whom he introduces is Goblot, and the rest of the article is practically a review of that…
Expand