2. (100%)Fuzzy Logic and Probability - FrancescEsteva
In this paper we deal with a new approach
to probabilistic reasoning in a logical framework.
Nearly ...
(ps) - 31-mar-2009
3. (100%)Montreal, Quebec, Canada, August 18-20, 1995 - FrancescEsteva
In this paper we deal with a new approach
to probabilistic reasoning in a logical framework.
Nearly ...
(ps) - 31-mar-2009
6. (80%)Putting together Lukasiewicz and product logics - Esteva, Francesc; Godo, Lluis
This is a revised version of the paper with the same title appeared in the Proc. of the Estylf'98 Co ...
- 16-ene-2009
7. (80%)A Calculus of Refinements: its class of models - FrancescEsteva,Jordi Levy
The Calculus of Refinements (COR) presented here takes this idea of types as specifications
and subt ...
(ps) - 31-mar-2009
8. (80%)A Complete Many-Valued Logic With Product-Conjunction - Lluis Godo,FrancescEsteva
this paper we investigate some logics whose set of truth values is the real
interval [0; 1] and we c ...
(ps) - 31-mar-2009
9. (80%)A Calculus of Refinements: its class of models - FrancescEsteva,Jordi Levy
The Calculus of Refinements (COR) presented here takes this idea of types as specifications
and subt ...
(ps) - 31-mar-2009
10. (80%)A Complete Many-Valued Logic With Product-Conjunction - Lluis Godo,FrancescEsteva
this paper we investigate some logics whose set of truth values is the real
interval [0; 1] and we c ...
(ps) - 31-mar-2009