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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1960-2015
024619602015

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Massive state spaces are ubiquitous throughout planning and reinforcement learning (RL) domains: agents involved in furniture… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2015
2015
Planning in large state spaces is a normally computationally infeasible task that crops up in many practical robotics problems. I… (More)
Is this relevant?
2011
2011
One criticism often advanced against abstract argumentation frameworks (AFs), is that these consider only one form of interaction… (More)
  • figure 1
Is this relevant?
2010
2010
Certain commentators on Russell’s “no class” theory, in which apparent reference to classes or sets is eliminated using higher… (More)
Is this relevant?
2009
2009
In this paper I describe the birth of Russell’s notion of a propositional function on 3 May 1902 (precise time of day unknown… (More)
Is this relevant?
2009
2009
In “On Saying That,” Donald Davidson offered an analysis of indirect discourse that was meant to overcome the classic… (More)
Is this relevant?
2008
2008
within Implicant Cover Compilations Bertrand Mazure CRIL Universit e d'Artois rue de l'Universit e SP 16 F-62307 Lens Cedex… (More)
Is this relevant?
2006
2006
In a seminal paper from 1985, Sistla and Clarke showed that satisfiability for Linear Temporal Logic (LTL) is either NP-complete… (More)
  • table 1
  • figure 1
  • table 2
  • figure 2
  • table 3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
  • Lúıs Cruz-Filipe
  • 2004
ion From what was said so far, one might get the impression that the packaging of concepts into record structures and unpacking… (More)
  • figure 4.1
  • figure 4.12
  • figure 5.1
  • figure 5.2
  • figure 6.1
Is this relevant?
1985
1985
The purpose of this note is to present a ternary propositional function which is a Sheffer function in the Heyting propositional… (More)
Is this relevant?