Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,944,451 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
Eclipse
Functional programming
Hash array mapped trie
Haskell
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
If Logic, Definitions and the Vicious Circle Principle
J. Hintikka
Journal of Philosophical Logic
2012
Corpus ID: 437238
In a definition (∀x)((xєr)↔D[x]) of the set r, the definiens D[x] must not depend on the definiendum r. This implies that all…
Expand
2012
2012
Corpus-based metrics for assessing communal common ground
Roman Kutlák
,
Kees van Deemter
,
C. Mellish
Annual Meeting of the Cognitive Science Society
2012
Corpus ID: 15227029
This article presents the first attempt to construct a computational model of common ground. Four corpus-based metrics are…
Expand
2009
2009
Frege's Logic
D. Macbeth
2009
Corpus ID: 118751095
Preface Introduction 1. THE STARTING POINT 1.1 The Fundamental Idea of Frege's Conceptual Notation 1.2 Generality and the…
Expand
2005
2005
Frege, Father of Disjunctivism
C. Travis
2005
Corpus ID: 55345870
Why disjunctivism, its seeming complexities and quirks? In the case of perception, Frege has a compelling answer. It gains him…
Expand
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
1998
1998
Hugh Maccoll and the algebra of strict implication
S. Read
1998
Corpus ID: 16068956
C. I. Lewis repeatedly exempts MacColl from criticisms of his predecessors in their accounts of implication. They had all taken a…
Expand
1996
1996
The beginnings of Western music in Meiji Era Japan : thesis submitted for the degree "doctor of philosophy" : submitted to the Senate of Tel-Aviv University
1996
Corpus ID: 68744028
This volume investigates the introduction of Western music into the educational system of Japan and reveals the existence of…
Expand
Highly Cited
1991
Highly Cited
1991
Husserl or Frege?: Meaning, Objectivity, and Mathematics
Claire Ortiz Hill
,
G. E. R. Haddock
1991
Corpus ID: 170737072
Hill and Rosado Haddock break new ground in examining Husserl's ideas in relation to those of Georg Cantor, creator of set theory…
Expand
1984
1984
Identity and cardinality: Geach and Frege
W. Alston
,
J. Bennett
1984
Corpus ID: 170985739
The thesis that identity is always relative to. . . a criterion seems to me a truism, like Frege’s connected thesis that a number…
Expand
1981
1981
Natural Language Access to Data Bases: Interpreting Update Requests
J. Davidson
,
S. Jerrold Kaplan
International Conference on Computational Logic
1981
Corpus ID: 2171449
Abstract : For natural language database systems to operate effectively in practical domains, they must have the capabilities…
Expand