Sciweavers

1188 search results - page 13 / 238
» Arithmetic Fuzzy Models
Sort
View
FCS
2008
15 years 1 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 12 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 11 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 4 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»
15 years 1 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