Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

6 relations
Frege systemHilbert systemPropositional proof systemSequent calculus

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
Proceedings of the 16th International Workshop on Non-Monotonic Reasoning (NMR), 22-24 April 2016, Cape Town, South Africa 
2016
2016
Subalternation and existence presuppositions in an unconventionally formalized canonical square of opposition
An unconventional formalization of the canonical (Aristotelian-Boethian) square of opposition in the notation of classical… 
2014
2014
Goran Švob (1947–2013) in memoriam
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… 
Highly Cited
2011
Highly Cited
2011
Symbolic Computation of Reduced Guards in Supervisory Control
In the supervisory control theory, a supervisor is generated based on given plant and specification models. The supervisor… 
2006
2006
A Critical Introduction to the Philosophy of Gottlob Frege
Contents: Preface Philosophy in Begriffsschrift Die Grundlagen der Arithmetik: first part (A A 1-45) Die Grundlagen der… 
2005
2005
Amending Frege’s Grundgesetze der Arithmetik
Frege’s Grundgesetze der Arithmetik is formally inconsistent. This system is, except for minor differences, second-order logic… 
Review
2003
Review
2003
On our alleged a priori knowledge that water exists
Dummett, M. A. E. 1981. Frege and Wittgenstein. In Perspectives on the Philosophy of Wittgenstein, ed. I. Block, 31–42. Oxford… 
Review
1990
Review
1990
Logics of Truth
  • R. Turner
  • Notre Dame J. Formal Log.
  • 1990
  • Corpus ID: 17255889
This paper surveys three recent semantic theories of truth and compares them from the perspective of their underlying logics. In… 
1984
1984
A hundred years later: The rise and fall of Frege's influence in language theory
One of the most fashionable current terms in the philosophy and history of science is the word paradigm introduced by Thomas Kuhn… 
1957
1957
In Memoriam Jan Łukasiewicz
Am 13. Februar dieses Jahres ist Ja~ s einer der profiliertesten Repr~sentanten unserer Forsehung, im 78. Lebensjahr in Dublin… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)