#### Filter Results:

- Full text PDF available (18)

#### Publication Year

1951

2016

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Félix Bou, Francesc Esteva, Lluis Godo, Ricardo Oscar Rodríguez
- J. Log. Comput.
- 2011

This article deals with many-valued modal logics, based only on the necessity operator, over a residuated lattice. We focus on three basic classes, according to the accessibility relation, of Kripke frames: the full class of frames evaluated in the residuated lattice (and so defining the minimum modal logic), the ones evaluated in the idempotent elements… (More)

- Pablo Evelson, Carlota Susemihl, +6 authors Ester Filinger
- Annals of hepatology
- 2005

Oxidative stress (OS) is a biological entity quoted as responsible for several pathologies including diabetes. Diabetes mellitus (DM) has been also associated to human cirrhosis. The present work was designed to study the occurrence of OS as well as morphologic alterations in rat livers following induction of DM. Two groups of rats were used: Control and… (More)

- Ricardo Oscar Rodríguez, Francesc Esteva, Pere Garcia-Calvés, Lluis Godo
- EUSFLAT-ESTYLF Joint Conf.
- 1999

This paper introduces a new class of fuzzy closure operators called implicative closure operators, which generalize some notions of fuzzy closure operators already introduced by different authors. We show that implicative closure operators capture some usual consequence relations used in Approximate Reasoning, like ChakrabortyÕs graded consequence relation,… (More)

- Francesc Esteva, Pere Garcia-Calvés, Lluis Godo, Ricardo Oscar Rodríguez
- Int. J. Approx. Reasoning
- 1997

One of the goals of a variety of approximate reasoning models is to cope with inference patterns more flexible than those of classical reasoning. Among them, similarity based reasoning aims at modeling notions of resemblance or proximity among propositions and consequence relations which make sense in such a setting. One way of proceeding is to. equip the… (More)

- Hugo Esteva, Tomás G Núñez, Ricardo O Rodríguez
- Thoracic surgery clinics
- 2007

The human brain has billions of neurons and connections that cannot be emulated by computers. This structure could explain the anatomical basis of typically human psychological activities like intuition or artistic creation. On the other hand, the computer-organized way of "reasoning" binary problems through systematic comparison of a large number of… (More)

- Xavier Caicedo, Ricardo Oscar Rodríguez
- Studia Logica
- 2010

We prove strong completeness of the-version and the 3-version of a Gödel modal logic based on Kripke models where propositions at each world and the accessibility relation are both in…nitely valued in the standard Gödel algebra [0,1]. Some asymmetries are revealed: validity in the …rst logic is reducible to the class of frames having two-valued… (More)

- Xavier Caicedo, Ricardo Oscar Rodríguez
- J. Log. Comput.
- 2015

We consider the Gödel bi-modal logic determined by fuzzy Kripke models where both the propositions and the accessibility relation are infinitely valued over the standard Gödel algebra [0,1] and prove strong completeness of Fischer Servi intuitionistic modal logic IK plus the pre-linearity axiom with respect to this semantics. We axiomatize also the bi-modal… (More)

- Lluis Godo, Ricardo Oscar Rodríguez
- Ann. Math. Artif. Intell.
- 2002

- Eduardo L. Fermé, Ricardo Oscar Rodríguez
- Logic Journal of the IGPL
- 1998

One of the ways to model contraction functions for belief sets is epistemic entrenchment. The first step was provided by Gärdenfors in [5], who defined epistemic entrenchment and a contraction function in terms of it and related the latter with the AGM contraction function. Later Hans Rott in [16] presented an entrenchment based contraction function that… (More)

A new semantics with the finite model property is provided and used to establish decidability for Gödel modal logics based on (crisp or fuzzy) Kripke frames combined locally with Gödel logic. A similar methodology is also used to establish decidability, and indeed co-NP-completeness for a Gödel S5 logic that coincides with the one-variable fragment of… (More)