Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,026,584 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
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
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
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…
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