Some Algebraic Structures Determined by Closure Operators. - Ventura Verdú (Math. Log. Q., 1985)

Logics Projectively Generated from [ℳ] = (ℱ4, [{1}]) by a Set of Homomorphisms. - Ventura Verdú (Math. Log. Q., 1987)

A First Approach to Abstract Modal Logics. - Josep Maria Font; Ventura Verdú (J. Symb. Log., 1989)

Algebraic logic for classical conjunction and disjunction. - Josep Maria Font; Ventura Verdú (Stud Logica, 1991)

On the Algebraization of Some Gentzen Systems. - Jordi Rebagliato; Ventura Verdú (Fundam. Informaticae, 1993)

The lattice of distributive closure operators over an algebra. - Josep Maria Font; Ventura Verdú (Stud Logica, 1993)

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

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

On product logic. - Romà J. Adillon; Ventura Verdú (Soft Comput., 1998)

A Strong Completeness Theorem for the Gentzen systems associated with finite algebras. - Àngel J. Gil; Jordi Rebagliato; Ventura Verdú (J. Appl. Non Class. Logics, 1999)

On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion. - Romà J. Adillon; Ventura Verdú (Stud Logica, 2000)

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

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

On three implication-less fragments of t-norm based fuzzy logics. - Romà J. Adillon; Àngel García-Cerdaña; Ventura Verdú (Fuzzy Sets Syst., 2007)

Logics preserving degrees of truth from varieties of residuated lattices. - Félix Bou; Francesc Esteva; Josep Maria Font; Àngel J. Gil; Lluís Godo; Antoni Torrens; Ventura Verdú (J. Log. Comput., 2012)

On Fragments without Implications of both the Full Lambek Logic and some of its Substructural Extensions. - Àngel García-Cerdaña; Ventura Verdú (CoRR, 2013)