2007 |
11 | EE | 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) |
2006 |
10 | EE | 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) |
9 | EE | 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) |
2000 |
8 | | Romà J. Adillon,
Ventura Verdú:
On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion.
Studia Logica 65(1): 11-30 (2000) |
1999 |
7 | | À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): (1999) |
1998 |
6 | EE | Romà J. Adillon,
Ventura Verdú:
On product logic.
Soft Comput. 2(3): 141-146 (1998) |
1997 |
5 | | À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) |
1994 |
4 | | 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) |
1993 |
3 | | Jordi Rebagliato,
Ventura Verdú:
On the Algebraization of Some Gentzen Systems.
Fundam. Inform. 18: 319-338 (1993) |
2 | | Josep Maria Font,
Ventura Verdú:
The lattice of distributive closure operators over an algebra.
Studia Logica 52(1): 1-14 (1993) |
1989 |
1 | | Josep Maria Font,
Ventura Verdú:
A First Approach to Abstract Modal Logics.
J. Symb. Log. 54(3): 1042-1062 (1989) |