Zobrazeno 1 - 10
of 218
pro vyhledávání: '"Esteva, Francesc"'
In this paper, we provide simplified semantics for the logic K45(G), i.e. the many-valued Godel counterpart of the classical modal logic K45. More precisely, we characterize K45(G) as the set of valid formulae of the class of possibilistic Godel Krip
Externí odkaz:
http://arxiv.org/abs/2105.06570
The aim of the paper is to analyze the expressive power of the square operator of Lukasiewicz logic: $\ast x=x\odot x$, where $\odot$ is the strong Lukasiewicz conjunction. In particular, we aim at understanding and characterizing those cases in whic
Externí odkaz:
http://arxiv.org/abs/2103.07548
The aim of this paper is to propose a many-valued modal framework to formalize reasoning with both graded preferences and propositions, in the style of van Benthem et al.'s classical modal logics for preferences. To do so, we start from Bou et al.'s
Externí odkaz:
http://arxiv.org/abs/1909.07674
Motivated by Gentzen disjunction elimination rule in his Natural Deduction calculus and reading inequalities with meet in a natural way, we conceive a notion of distributivity for join-semilattices. We prove that it is equivalent to a notion present
Externí odkaz:
http://arxiv.org/abs/1902.01656
The Logic of Approximate Entailment (LAE) is a graded counterpart of classical propositional calculus, where conclusions that are only approximately correct can be drawn. This is achieved by equipping the underlying set of possible worlds with a simi
Externí odkaz:
http://arxiv.org/abs/1808.10312
In this paper we consider the logics $L_n^i$ obtained from the (n+1)-valued Lukasiewicz logics $L_{n+1}$ by taking the order filter generated by i/n as the set of designated elements. In particular, the conditions of maximality and strong maximality
Externí odkaz:
http://arxiv.org/abs/1803.09815
Autor:
Cerami, Marco, Esteva, Francesc
Publikováno v:
In Fuzzy Sets and Systems 20 September 2022 445:1-21
We expand FLew with a unary connective whose algebraic counterpart is the operation that gives the greatest complemented element below a given argument. We prove that the expanded logic is conservative and has the Finite Model Property. We also prove
Externí odkaz:
http://arxiv.org/abs/1612.01992
In this paper we provide a simplified semantics for the logic KD45(G), i.e. the many-valued G\"odel counterpart of the classical modal logic KD45. More precisely, we characterize KD45(G) as the set of valid formulae of the class of possibilistic G\"o
Externí odkaz:
http://arxiv.org/abs/1611.04444
Publikováno v:
In Fuzzy Sets and Systems 15 December 2020 401:163-188