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.
2016
2016
In recent years, there has been a growing need and interest in formally reasoning about the quality of software and hardware… Expand
  • table I
  • table II
2014
2014
The Aristotelian square of oppositions is a well-known diagram in logic and linguistics. In recent years, several extensions of… Expand
  • figure 2
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Highly Cited
2011
Highly Cited
2011
In recent years, various metrics have been developed for measuring the behavioral similarity of states in probabilistic… Expand
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 2.4
  • table 2.2
2009
2009
  • A. Irvine
  • Logic from Russell to Church
  • 2009
  • Corpus ID: 5411379
Bertrand Russell is generally recognized as one of the most important Englishspeaking philosophers, logicians and essayists of… Expand
2008
2008
The article rebutts Michael Kremer’s contention that Russell’s contextual definition of set-theoretic language in Principia… Expand
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
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
2004
2004
Boolean games are a class of two-player games which may be defined via a Boolean form over a set of atomic actions. A particular… Expand
1999
1999
Soulignant l'economie ontologique realisee par Russell en eliminant les concepts denotationnels des «Principes des mathematiques… Expand
  • figure 1
  • figure 2
1989
1989
The theory of properties, relations, and propositions (PRPs) promises to play a significant foundational role in logic… Expand