Frege's propositional calculus

Known as: Frege propositional calculus 
In mathematical logic Frege's propositional calculus was the first axiomatization of propositional calculus. It was invented by Gottlob Frege, who… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1957-2016
05101519572016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Recently Beyersdorff, Bonacina, and Chew [10] introduced a natural class of Frege systems for quantified Boolean formulas (QBF… (More)
  • figure 1
  • figure 2
Is this relevant?
2011
2011
Gottlob Frege’s contributions to philosophy of language are so numerous and so fundamental that it is difficult to imagine the… (More)
Is this relevant?
2008
2008
In this paper I suggest an answer to the question of what Frege means when he says that his logical system, the Begriffsschrift… (More)
Is this relevant?
2005
2005
A cluster of recent papers on Frege have urged variations on the theme that Frege’s conception of logic is in some crucial way… (More)
Is this relevant?
2003
2003
One particular topic in the literature on Frege’s conception of sense relates to two apparently contradictory theses held by… (More)
Is this relevant?
2001
2001
The name ‘Frege’s principle’ is well known: it is discussed, obeyed or rejected in philosophy, linguistics, logic and computer… (More)
Is this relevant?
2001
2001
In this essay I will consider two theses that are associated with Frege, and will investigate the extent to which Frege “really… (More)
Is this relevant?
2000
2000
In this essay I will consider two theses that are associated with Frege, and will investigate the extent to which Frege “really… (More)
Is this relevant?
1999
1999
Do we conduct our conscious propositional thinking in natural language? Or is such language only peripherally related to human… (More)
Is this relevant?