Ventura Verdú

Logics Preserving Degrees of Truth from Varieties of Residuated Lattices

Félix Bou, Francesc Esteva, Josep M. Font-Llagunes et al. · Journal of Logic and Computation · 2009 · 78 citations

Residuated Lattices, Engineering, Classical Logic +16

On the Algebraization of Some Gentzen Systems1

Jordi Rebagliato, Ventura Verdú · Fundamenta Informaticae · 1993 · 56 citations

Algebraic Logic, Abstract Algebra, Engineering +13

On the infinite-valued Łukasiewicz logic that preserves degrees of truth

Josep M. Font-Llagunes, Ángel J. Gil, Antoni Torrens et al. · Archive for Mathematical Logic · 2006 · 37 citations

Non-classical Logic, Automated Reasoning, Constructive Logic +3

Characterization of the reduced matrices for the {∧,∨}-fragment of classical logic

Josep M. Font-Llagunes, Fernando Valls Guzmán, Ventura Verdú · 1991 · 27 citations

Algebraic Logic, Non-classical Logic, Substructural Logic +9

On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion

Román Adillón, Ventura Verdú · Studia Logica · 2000 · 20 citations