Ventura Verdú

According to our database, Ventura Verdú authored at least 16 papers between 1985 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

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

2009

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., 2009

2007

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

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 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

2000

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

Romà J. Adillon, Ventura Verdú

Stud Logica, 2000

1999

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

1998

On product logic.

Romà J. Adillon, Ventura Verdú

Soft Comput., 1998

1997

On Gentzen Systems Associated with the Finite Linear MV-Algebras.

Àngel J. Gil, Antoni Torrens, Ventura Verdú

J. Log. Comput., 1997

1994

A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus.

Jordi Rebagliato, Ventura Verdú

Math. Log. Q., 1994

1993

The lattice of distributive closure operators over an algebra.

Josep Maria Font, Ventura Verdú

Stud Logica, 1993

On the Algebraization of Some Gentzen Systems.

Jordi Rebagliato, Ventura Verdú

Fundam. Informaticae, 1993

1991

Algebraic logic for classical conjunction and disjunction.

Josep Maria Font, Ventura Verdú

Stud Logica, 1991

1989

A First Approach to Abstract Modal Logics.

Josep Maria Font, Ventura Verdú

J. Symb. Log., 1989

1987

Logics Projectively Generated from [ℳ] = (ℱ₄, [{1}]) by a Set of Homomorphisms.

Ventura Verdú

Math. Log. Q., 1987

1985

Some Algebraic Structures Determined by Closure Operators.

Ventura Verdú

Math. Log. Q., 1985