Ventura Verdú

Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluis Godo, Antoni Torrens, Ventura Verdú: Logics preserving degrees of truth from varieties of residuated lattices. J. Log. Comput. 22(3): 661-665 (2012)

Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluis Godo, Antoni Torrens, Ventura Verdú: Logics Preserving Degrees of Truth from Varieties of Residuated Lattices. J. Log. Comput. 19(6): 1031-1069 (2009)

Romà J. Adillon, Àngel García-Cerdaña, Ventura Verdú: On three implication-less fragments of t-norm based fuzzy logics. Fuzzy Sets and Systems 158(23): 2575-2590 (2007)

Félix Bou, Àngel García-Cerdaña, Ventura Verdú: On two fragments with negation and without implication of the logic of residuated lattices. Arch. Math. Log. 45(5): 615-647 (2006)

Josep Maria Font, Àngel J. Gil, Antoni Torrens, Ventura Verdú: On the infinite-valued Lukasiewicz logic that preserves degrees of truth. Arch. Math. Log. 45(7): 839-868 (2006)

Romà J. Adillon, Ventura Verdú: On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion. Studia Logica 65(1): 11-30 (2000)

Àngel J. Gil, Jordi Rebagliato, Ventura Verdú: A Strong Completeness Theorem for the Gentzen systems associated with finite algebras. Journal of Applied Non-Classical Logics 9(1): 9-36 (1999)

Romà J. Adillon, Ventura Verdú: On product logic. Soft Comput. 2(3): 141-146 (1998)

Àngel J. Gil, Antoni Torrens, Ventura Verdú: On Gentzen Systems Associated with the Finite Linear MV-Algebras. J. Log. Comput. 7(4): 473-500 (1997)

Jordi Rebagliato, Ventura Verdú: A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus. Math. Log. Q. 40: 61-68 (1994)

Jordi Rebagliato, Ventura Verdú: On the Algebraization of Some Gentzen Systems. Fundam. Inform. 18: 319-338 (1993)

Josep Maria Font, Ventura Verdú: The lattice of distributive closure operators over an algebra. Studia Logica 52(1): 1-14 (1993)

Josep Maria Font, Ventura Verdú: A First Approach to Abstract Modal Logics. J. Symb. Log. 54(3): 1042-1062 (1989)