Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,226,773 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
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
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
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
2008
2008
The scope of logic : deduction, abduction, analogy
Carlo Cellucci
2008
Corpus ID: 17956371
Conference donnee a l'occasion du soixantieme anniversaire de D. Prawitz en juin 1996 a l'Universite de Stockholm. Soulignant le…
Expand
2004
2004
Le destin des formalismes : à propos de la forme des plantes - Pratiques et épistémologies des modèles face à l'ordinateur
Franck Varenne
2004
Corpus ID: 169065582
Apres les « lois mathematiques » (19eme siecle) et les « modeles mathematiques » (annees 1930), les sciences dites « non-exactes…
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
1981
1981
Natural Language Access to Data Bases: Interpreting Update Requests
J. Davidson
,
S. 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
1979
1979
Frege's Hidden Semantics in Frege (1879-1979).
J. Hintikka
1979
Corpus ID: 171318869
Developpant une suggestion de Van Heijenhoort "Logic as Language and Logic as Calculus" (Synthese, 17, 1967, 324-330). l'A…
Expand