Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,998,143 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Frege system
Hilbert system
Propositional proof system
Sequent calculus
Expand
Broader (1)
Propositional calculus
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Revising Incompletely Specified Convex Probabilistic Belief Bases
Gavin Rens
,
T. Meyer
,
Giovanni Casini
arXiv.org
2016
Corpus ID: 17453090
Proceedings of the 16th International Workshop on Non-Monotonic Reasoning (NMR), 22-24 April 2016, Cape Town, South Africa
Review
2016
Review
2016
Sainsbury and Tye Fail to Solve Frege's Puzzle
Joseph A. Hedger
2016
Corpus ID: 171979308
"Discoveries happen in math too, and Fregeanism is really about discovery."-Jason Stanley11. IntroductionSainsbury and Tye (2012…
Expand
2014
2014
Goran Švob (1947–2013) in memoriam
S. Kovač
2014
Corpus ID: 164821800
U Zagrebu je 18. travnja 2013. godine umro Goran Švob. Na jedinstven je način i snažno obilježio logiku i filozofiju u Hrvatskoj…
Expand
2011
2011
Under what conditions are two utterances peformances of the same word
Nathalie Morasch
2011
Corpus ID: 147219083
2010
2010
Frege's Begriffsschrift is First-order Complete
Yang Liu
2010
Corpus ID: 126015893
2002
2002
Counterintuitive consequences of the Revision Theory of Truth
R. Cook
2002
Corpus ID: 119770878
References Campbell, R. and L. Sowden. 1985. Paradoxes of Rationality and Cooperation; Prisoner's Dilemma and Newcomb's Problem…
Expand
2001
2001
Schriften zur Logik und Sprachphilosophie
G. Frege
2001
Corpus ID: 171632496
Im Zuge seiner Überlegungen dazu hat Frege nicht nur die moderne Logik geschaffen. Freges Schriften zur Sprachphilosophie: Die…
Expand
Review
1998
Review
1998
Foundations of reference and predication
Anne Reboul
1998
Corpus ID: 65109082
In this paper written for a handbook of linguistics, I describe the foundations of the distinction between reference and…
Expand
1996
1996
Frege's puzzle as some problems in science: 2140
G. Segal
1996
Corpus ID: 115383812
1957
1957
In Memoriam Jan Łukasiewicz
Heinrich Scholz
Archive for Mathematical Logic
1957
Corpus ID: 206809485
Am 13. Februar dieses Jahres ist Ja~ s einer der profiliertesten Repr~sentanten unserer Forsehung, im 78. Lebensjahr in Dublin…
Expand