Ventura Verdú

17 papers Journal 17
YearRankTypeTitle / Venue / Authors
2013 J jnl
On Fragments without Implications of both the Full Lambek Logic and some of its Substructural Extensions.
CoRR
Àngel García-Cerdaña, Ventura Verdú
2012 J jnl
Logics preserving degrees of truth from varieties of residuated lattices.
J. Log. Comput.
Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluís Godo, Antoni Torrens, Ventura Verdú
2009 J jnl
Logics Preserving Degrees of Truth from Varieties of Residuated Lattices.
J. Log. Comput.
Félix Bou, Francesc Esteva, Josep Maria Font, Àngel J. Gil, Lluís Godo, Antoni Torrens, Ventura Verdú
2007 J jnl
On three implication-less fragments of t-norm based fuzzy logics.
Fuzzy Sets Syst.
Romà J. Adillon, Àngel García-Cerdaña, Ventura Verdú
2006 J jnl
On the infinite-valued Lukasiewicz logic that preserves degrees of truth.
Arch. Math. Log.
Josep Maria Font, Àngel J. Gil, Antoni Torrens, Ventura Verdú
2006 J jnl
On two fragments with negation and without implication of the logic of residuated lattices.
Arch. Math. Log.
Félix Bou, Àngel García-Cerdaña, Ventura Verdú
2000 J jnl
On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion.
Stud Logica
Romà J. Adillon, Ventura Verdú
1999 J jnl
A Strong Completeness Theorem for the Gentzen systems associated with finite algebras.
J. Appl. Non Class. Logics
Àngel J. Gil, Jordi Rebagliato, Ventura Verdú
1998 J jnl
On product logic.
Soft Comput.
Romà J. Adillon, Ventura Verdú
1997 J jnl
On Gentzen Systems Associated with the Finite Linear MV-Algebras.
J. Log. Comput.
Àngel J. Gil, Antoni Torrens, Ventura Verdú
1994 J jnl
A Finite Hilbert-Style Axiomatization of the Implication-Less Fragment of the Intuitionistic Propositional Calculus.
Math. Log. Q.
Jordi Rebagliato, Ventura Verdú
1993 J jnl
On the Algebraization of Some Gentzen Systems.
Fundam. Informaticae
Jordi Rebagliato, Ventura Verdú
1993 J jnl
The lattice of distributive closure operators over an algebra.
Stud Logica
Josep Maria Font, Ventura Verdú
1991 J jnl
Algebraic logic for classical conjunction and disjunction.
Stud Logica
Josep Maria Font, Ventura Verdú
1989 J jnl
A First Approach to Abstract Modal Logics.
J. Symb. Log.
Josep Maria Font, Ventura Verdú
1987 J jnl
Logics Projectively Generated from [ℳ] = (ℱ
Math. Log. Q.
Ventura Verdú
1985 J jnl
Some Algebraic Structures Determined by Closure Operators.
Math. Log. Q.
Ventura Verdú