Sciweavers

1188 search results - page 13 / 238
» Arithmetic Fuzzy Models
Sort
View
FCS
2008
14 years 11 months ago
A Finitary Model of Peano Arithmetic
We define a finitary model of first-order Peano Arithmetic in which satisfaction and quantification are interpreted constructively in terms of Turing-computability.
Bhupinder Singh Anand
APAL
2008
63views more  APAL 2008»
14 years 9 months ago
A standard model of Peano arithmetic with no conservative elementary extension
The principal result of this paper answers a long-standing question in the model theory of arithmetic [KS, Question 7] by showing that there exists an uncountable arithmetically cl...
Ali Enayat
CC
2005
Springer
103views System Software» more  CC 2005»
14 years 9 months ago
Valiant's model and the cost of computing integers
Let (n) be the minimum number of arithmetic operations required to build the integer n N from the constants 1 and 2. A sequence xn is said to be "easy to compute" if the...
Pascal Koiran
DATE
1998
IEEE
121views Hardware» more  DATE 1998»
15 years 1 months ago
Fuzzy-logic digital-analogue interfaces for accurate mixed-signal simulation
A new approach to mixed-signal circuit interfacing based on fuzzy logic models is presented. Due to their continuous rather than discrete character, fuzzy logic models offer a sig...
Tom J. Kazmierski
EUSFLAT
2003
101views Fuzzy Logic» more  EUSFLAT 2003»
14 years 11 months ago
Nearness and uniform convergence
Nearness (a fuzzy nearness) is a fuzzy relation that can be used to model various grades of “being close” in a linear space. We study the uniform convergence of a sequence of ...
Vladimír Janis