90 citations · 124 across the 14 of their papers we have counts for
9 papers · 1 filter
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…
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…
Maximality in finite-valued Lukasiewicz logics defined by order filters
Marcelo E. Coniglio, Francesc Esteva, Joan Gispert +1
In this paper we consider the logics obtained from the (n+1)-valued Lukasiewicz logics by taking the order filter generated by i/n as the set of designated elemen…
Expanding FLew with a Boolean connective
Rodolfo C. Ertola-Biraben, Francesc Esteva, Lluís Godo
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…