Skip to search formSkip to main contentSkip to account menuSemantic Scholar Semantic Scholar's Logo Search 205,568,304 papers from all fields of science

Search

Semantic Scholar uses AI to extract papers important to this topic.

2015

2015

A standard methodology in philosophy of language is to use intuitions as evidence. Machery, Mallon, Nichols, and Stich (2004…

2010

2010

In this paper we improve solving two-player games by computing the game-theoretical value of every reachable state. A graphics…

Highly Cited

2007

Highly Cited

2007

A continuous t-norm is a continuous map * from [0, 1]2 into [0, 1] such that $$\langle [0, 1], *, 1 \rangle$$ is a commutative…

Highly Cited

2001

Highly Cited

2001

Abstract BL algebras were introduced by Hájek as algebraic structures for his Basic Logic, starting from continuous t-norms on [0…

Highly Cited

2000

Highly Cited

2000

Abstract In this paper we prove that Basic Logic (BL) is complete w.r.t. the continuous t-norms on [0, 1], solving the open…

Highly Cited

1993

Highly Cited

1993

Abstract The all nearest smaller values problem is defined as follows. Let A = ( a 1 , a 2 ,..., a n ) be n elements drawn from a…

Highly Cited

1987

Highly Cited

1987

Highly Cited

1979

Highly Cited

1979

Solvable Classes of Quantificational Formulas Burton Dreben and Warren D. Goldfarb, Harvard Univ. Skolem and Herbrand addressed…

1964

1964

In [3], Rogers discussed the concept of Godel numbering. He defined a semi-effective numbering, constructed a semi-lattice of…

Highly Cited

1958

Highly Cited

1958

In § 1 we present conceptual material concerning the notion of a Gödel numbering of the partial recursive functions. § 2 presents…