90 citations · 124 across the 14 of their papers we have counts for
15 papers
Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
M. E. Coniglio, F. Esteva, J. Gispert +1
In this paper we study intermediate logics between the degree preserving companion of Godel fuzzy logic with an involution and classical propositional logic CPL, as well as the int…
Simplified Kripke semantics for K45-like Godel modal logics and its axiomatic extensions
Ricardo Rodriguez, Olim Tuyt, Lluis Godo +1
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)…
On the expressive power of Lukasiewicz's square operator
Marcelo E. Coniglio, Francesc Esteva, Tommaso Flaminio +1
The aim of the paper is to analyze the expressive power of the square operator of Lukasiewicz logic: , where is the strong Lukasiewicz conjunction. In part…
Axiomatizing logics of fuzzy preferences using graded modalities
Amanda Vidal, Francesc Esteva, Lluis Godo
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 classic…
On distributive join-semilattices
Rodolfo C. Ertola-Biraben, Francesc Esteva, Lluís Godo
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…
Logic for approximate entailment in ordered universes of discourse
Francesc Esteva, Lluís Godo, Thomas Vetterlein
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 a…