Frege

Frege is a non-strict, purely functional programming language for the Java virtual machine in the spirit of Haskell. It is considered a Haskell… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2014
Highly Cited
2014
The lexicon of any natural language encodes a huge number of distinct word meanings. Just to understand this article, you will… (More)
  • table 1
  • figure 1
  • table 2
  • figure 2
  • table 3
Is this relevant?
2006
2006
In this paper, we characterize the strength of the predicative Frege hierarchy, PV, introduced by John Burgess in his book [Bur05… (More)
Is this relevant?
2004
2004
Frege Arithmetic (FA) is the second-order theory whose sole non-logical axiom is Hume’s Principle, which says that the number of… (More)
Is this relevant?
2004
2004
Let me start with a well-known story. Kant held that logic and conceptual analysis alone cannot account for our knowledge of… (More)
Is this relevant?
2004
2004
The German mathematician, logician and philosopher, Friedrich Ludwig Gottlob Frege, was born in Wismar on the Baltic on 8… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Equality [1] gives rise to challenging questions which are not altogether easy to answer. Is it a relation? A relation between… (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?
Highly Cited
2000
Highly Cited
2000
The interpolation method has been one of the main tools for proving lower bounds for propositional proof systems. Loosely… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This first textbook on formal concept analysis gives a systematic presentation of the mathematical foundations and their… (More)
Is this relevant?