Learn More
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)
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)
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)
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)
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)
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)
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)
We explore which kinds of nonmonotonic inference relations naturally arise when using similarity-based implication and consistency measures to rank propositions à la Gärdenfors and Makinson or to build system of spheres in the sense of Lewis. There is no surprising result, the main interest being to provide a new perspective to nonmonotonic reasoning from a(More)
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)